Merge pull request #112070 from figsoda/master

2021-02-08 17:48:07 +01:00
parent 60af240fc0 913130b339
commit 4b20bbae22
3 changed files with 31 additions and 0 deletions
@@ -3071,6 +3071,12 @@
    githubId = 8182846;
    name = "Francesco Gazzetta";
  };
+  figsoda = {
+    email = "figsoda@pm.me";
+    github = "figsoda";
+    githubId = 40620903;
+    name = "figsoda";
+  };
  fionera = {
    email = "nix@fionera.de";
    github = "fionera";