Merge pull request #84975 from Maxdamantus/polyphone

polyphone: init at 2.2.0
2020-04-12 18:10:11 +02:00
parent eb8a1281c8 ab65cb50c8
commit 539b7f1e3b
3 changed files with 57 additions and 0 deletions
@@ -4703,6 +4703,12 @@
    githubId = 136037;
    name = "Matthew Maurer";
  };
+  maxdamantus = {
+    email = "maxdamantus@gmail.com";
+    github = "Maxdamantus";
+    githubId = 502805;
+    name = "Max Zerzouri";
+  };
  mbakke = {
    email = "mbakke@fastmail.com";
    github = "mbakke";