Merge pull request #112631 from DavHau/garble-init

2021-02-19 14:39:31 +01:00
parent b8f6a927f7 f0faf508d9
commit 08f5631891
3 changed files with 32 additions and 0 deletions
@@ -2103,6 +2103,12 @@
    email = "christoph.senjak@googlemail.com";
    name = "Christoph-Simon Senjak";
  };
+  davhau = {
+    email = "d.hauer.it@gmail.com";
+    name = "David Hauer";
+    github = "DavHau";
+    githubId = 42246742;
+  };
  david-sawatzke = {
    email = "d-nix@sawatzke.dev";
    github = "david-sawatzke";