Merge pull request #47138 from Jeschli/pev

pev: init at unstable-2018-07-22
2018-09-22 11:56:59 +01:00
parent 39817f728b 4c9898108d
commit e969e0f78a
3 changed files with 31 additions and 0 deletions
@@ -1847,6 +1847,11 @@
    github = "jerith666";
    name = "Matt McHenry";
  };
+  jeschli = {
+    email = "jeschli@gmail.com";
+    github = "jeschli";
+    name = "Markus Hihn";
+  };
  jethro = {
    email = "jethrokuan95@gmail.com";
    github = "jethrokuan";