Merge pull request #54601 from groodt/greg/argo-2.2.1

argo: init at 2.2.1
2019-01-30 18:11:12 +00:00
parent 60e279e526 acb9168aa7
commit bfd2c8065f
4 changed files with 718 additions and 0 deletions
@@ -1773,6 +1773,11 @@
    github = "dguibert";
    name = "David Guibert";
  };
+  groodt = {
+    email = "groodt@gmail.com";
+    github = "groodt";
+    name = "Greg Roodt";
+  };
  guibou = {
    email = "guillaum.bouchard@gmail.com";
    github = "guibou";