simgrid: 3.15 -> 3.17 (#32114)

* simgrid: 3.15 -> 3.17 + clean + add options

* Add myself as maintainer

* Fix typo
This commit is contained in:
Jörg Thalheim
2017-12-01 22:14:24 +00:00
committed by GitHub
2 changed files with 89 additions and 60 deletions

View File

@@ -414,6 +414,7 @@
michaelpj = "Michael Peyton Jones <michaelpj@gmail.com>";
michalrus = "Michal Rus <m@michalrus.com>";
michelk = "Michel Kuhlmann <michel@kuhlmanns.info>";
mickours = "Michael Mercier <mickours@gmail.com<";
midchildan = "midchildan <midchildan+nix@gmail.com>";
mikefaille = "Michaël Faille <michael@faille.io>";
mikoim = "Eshin Kunishima <ek@esh.ink>";