Merge pull request #36526 from idontgetoutmuch/master

Add sundials
2018-03-13 13:29:17 +01:00
parent 2aa8a208b0 46f9e10636
commit 54ade273e7
3 changed files with 35 additions and 0 deletions
@@ -1548,6 +1548,11 @@
    github = "iblech";
    name = "Ingo Blechschmidt";
  };
+  idontgetoutmuch = {
+    email = "dominic@steinitz.org";
+    github = "idontgetoutmuch";
+    name = "Dominic Steinitz";
+  };
  igsha = {
    email = "igor.sharonov@gmail.com";
    github = "igsha";