From f2c26dd81080180981b02eb77f78517054eda2b2 Mon Sep 17 00:00:00 2001 From: polygon Date: Tue, 15 Jun 2021 12:09:44 +0200 Subject: [PATCH] maintainers: add polygon --- maintainers/maintainer-list.nix | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index b1f97ceeec31..45022082ad3d 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -8187,6 +8187,12 @@ githubId = 1829032; name = "Paul Hendry"; }; + polygon = { + email = "polygon@wh2.tu-dresden.de"; + name = "Polygon"; + github = "polygon"; + githubId = 51489; + }; polyrod = { email = "dc1mdp@gmail.com"; github = "polyrod";