frogatto: init at 0.0.2018-12-09 (#52989)

2019-01-02 11:47:16 +01:00
parent e0b3d65baa
commit 108588b75b
5 changed files with 126 additions and 0 deletions
@@ -391,6 +391,11 @@
    github = "asppsa";
    name = "Alastair Pharo";
  };
+  astro = {
+    email = "astro@spaceboyz.net";
+    github = "astro";
+    name = "Astro";
+  };
  astsmtl = {
    email = "astsmtl@yandex.ru";
    github = "astsmtl";