maintainers: add polyfloyd

polyfloyd b3e496c2 6555fbaa

+6
+6
maintainers/maintainer-list.nix
··· 18696 18696 githubId = 1829032; 18697 18697 name = "Paul Hendry"; 18698 18698 }; 18699 + polyfloyd = { 18700 + email = "floyd@polyfloyd.net"; 18701 + github = "polyfloyd"; 18702 + githubId = 4839878; 18703 + name = "polyfloyd"; 18704 + }; 18699 18705 polygon = { 18700 18706 email = "polygon@wh2.tu-dresden.de"; 18701 18707 name = "Polygon";