Merge pull request #84078 from petersjt014/master

catcli: init at 0.5.13
2020-04-11 10:29:10 +02:00
parent 32b6f52d99 aa84e476da
commit 529465d171
3 changed files with 38 additions and 0 deletions
@@ -5771,6 +5771,12 @@
    githubId = 5515707;
    name = "Peter Romfeld";
  };
+  petersjt014 = {
+    email = "petersjt014@gmail.com";
+    github = "petersjt014";
+    githubId = 29493551;
+    name = "Josh Peters";
+  };
  peti = {
    email = "simons@cryp.to";
    github = "peti";