Merge pull request #87599 from helsinki-systems/znapzend-oracle-mode

2020-05-12 15:39:25 +02:00
parent fea63944fd 90533bfde2
commit 6440000547
2 changed files with 13 additions and 1 deletions
@@ -7136,6 +7136,12 @@
    githubId = 1505617;
    name = "Sean Lee";
  };
+  SlothOfAnarchy = {
+    email = "slothofanarchy1@gmail.com";
+    github = "SlothOfAnarchy";
+    githubId = 12828415;
+    name = "Michel Weitbrecht";
+  };
  smakarov = {
    email = "setser200018@gmail.com";
    github = "setser";