Merge pull request #122642 from fitzgibbon/dev/init-gnome-inform7

gnome-inform7: init at unstable-2021-04-06
2021-05-20 18:33:04 +02:00
parent 8aac6d8daf 9172a9d3b6
commit 3b0cf29640
3 changed files with 125 additions and 0 deletions
@@ -3357,6 +3357,12 @@
    githubId = 10799507;
    name = "Karl Fischer";
  };
+  fitzgibbon = {
+    name = "Niall FitzGibbon";
+    email = "fitzgibbon.niall@gmail.com";
+    github = "fitzgibbon";
+    githubId = 617048;
+  };
  Flakebi = {
    email = "flakebi@t-online.de";
    github = "Flakebi";