Merge pull request #36988 from hschaeidt/stabber

stabber: init at 2016-11-09
2018-03-20 20:40:39 +01:00
parent 918edbe485 86ff559f82
commit ba96a902ad
3 changed files with 38 additions and 0 deletions
@@ -1552,6 +1552,11 @@
    github = "hrdinka";
    name = "Christoph Hrdinka";
  };
+  hschaeidt = {
+    email = "he.schaeidt@gmail.com";
+    github = "hschaeidt";
+    name = "Hendrik Schaeidt";
+  };
  htr = {
    email = "hugo@linux.com";
    github = "htr";