maintainers: add polygon

This commit is contained in:
polygon 2021-06-15 12:09:44 +02:00
parent 2ec8590e19
commit f2c26dd810

View file

@ -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";