Merge pull request #73188 from blitz/spike

spike: init at 1.0.0
2019-11-17 19:19:17 +01:00
parent 295da321a9 e750461511
commit ce52d6b6ae
4 changed files with 60 additions and 0 deletions
@@ -944,6 +944,12 @@
    githubId = 5718007;
    name = "Bastian Köcher";
  };
+  blitz = {
+    email = "js@alien8.de";
+    github = "blitz";
+    githubId = 37907;
+    name = "Julian Stecklina";
+  };
  bluescreen303 = {
    email = "mathijs@bluescreen303.nl";
    github = "bluescreen303";