Merge pull request #73852 from thefenriswolf/master

tensorman: init at 0.1.0
2019-11-24 13:21:40 +01:00
parent c24ce71a9b 6d553ded93
commit 2dfa46efa1
3 changed files with 32 additions and 0 deletions
@@ -6727,6 +6727,12 @@
    githubId = 42933;
    name = "Andrew Childs";
  };
+  thefenriswolf = {
+    email = "stefan.rohrbacher97@gmail.com";
+    github = "thefenriswolf";
+    githubId = "8547242";
+    name = "Stefan Rohrbacher";
+  };
  thesola10 = {
    email = "thesola10@bobile.fr";
    github = "thesola10";