Merge pull request #87953 from ccellado/glpaper-unstable

2020-05-17 14:05:17 +02:00
parent 85d6f3bcd9 221e5eba47
commit c19fa9be5e
3 changed files with 37 additions and 0 deletions
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -1280,6 +1280,12 @@
    githubId = 64804;
    name = "Dennis Gosnell";
  };
+  ccellado = {
+    email = "annplague@gmail.com";
+    github = "ccellado";
+    githubId = 44584960;
+    name = "Denis Khalmatov";
+  };
  ceedubs = {
    email = "ceedubs@gmail.com";
    github = "ceedubs";