Merge pull request #87914 from seb314/submit/jamulus

2020-06-04 07:55:11 +02:00
parent 9a64d6bf45 24227ad1a9
commit 384cf8788b
3 changed files with 35 additions and 0 deletions
@@ -6980,6 +6980,12 @@
    githubId = 2343853;
    name = "Sean Zicari";
  };
+  seb314 = {
+    email = "sebastian@seb314.com";
+    github = "seb314";
+    githubId = 19472270;
+    name = "Sebastian";
+  };
  sellout = {
    email = "greg@technomadic.org";
    github = "sellout";