Merge pull request #109651 from mausch/starspace

starspace: init at 8aee0a950aa607c023e5c91cff518bec335b5df5
2021-01-17 22:56:25 +01:00
parent 50cbe8b517 f8b69fa6d2
commit 3f5d6b2e85
3 changed files with 36 additions and 0 deletions
@@ -5604,6 +5604,12 @@
      fingerprint = "B573 5118 0375 A872 FBBF  7770 B629 036B E399 EEE9";
    }];
  };
+  mausch = {
+    email = "mauricioscheffer@gmail.com";
+    github = "mausch";
+    githubId = 95194;
+    name = "Mauricio Scheffer";
+  };
  matejc = {
    email = "cotman.matej@gmail.com";
    github = "matejc";