Merge pull request #119394 from hzeller/init-timg

2021-04-15 18:20:41 +02:00
parent 1cbd0e06bb e53421e195
commit 392d72c74d
3 changed files with 41 additions and 0 deletions
@@ -4067,6 +4067,12 @@
    githubId = 12491746;
    name = "Masato Yonekawa";
  };
+  hzeller = {
+    email = "h.zeller@acm.org";
+    github = "hzeller";
+    githubId = 140937;
+    name = "Henner Zeller";
+  };
  i077 = {
    email = "nixpkgs@imranhossa.in";
    github = "i077";