Merge pull request #42103 from eadwu/init/glava

glava: init at v1.4.5
2018-07-07 22:27:46 +02:00
parent d925fe3f81 2ec495e943
commit 129f94fb38
3 changed files with 112 additions and 0 deletions
@@ -1172,6 +1172,11 @@
    github = "e-user";
    name = "Alexander Kahl";
  };
+  eadwu = {
+    email = "edmund.wu@protonmail.com";
+    github = "eadwu";
+    name = "Edmund Wu";
+  };
  earldouglas = {
    email = "james@earldouglas.com";
    github = "earldouglas";