summary refs log tree commit diff
path: root/lib
diff options
context:
space:
mode:
authorJörg Thalheim <Mic92@users.noreply.github.com>2017-12-01 22:14:24 +0000
committerGitHub <noreply@github.com>2017-12-01 22:14:24 +0000
commitae096444a2b99ed47cd330069b84c529b67fde98 (patch)
tree595d0fcae2d8d708a23ae9870f7b1a1c021c62b2 /lib
parent302552b722fbfa1d45d63ab872a37adf40460a84 (diff)
parent42ec4556bd30acd3da056f50161f1c5700ee5324 (diff)
downloadnixpkgs-ae096444a2b99ed47cd330069b84c529b67fde98.tar
nixpkgs-ae096444a2b99ed47cd330069b84c529b67fde98.tar.gz
nixpkgs-ae096444a2b99ed47cd330069b84c529b67fde98.tar.bz2
nixpkgs-ae096444a2b99ed47cd330069b84c529b67fde98.tar.lz
nixpkgs-ae096444a2b99ed47cd330069b84c529b67fde98.tar.xz
nixpkgs-ae096444a2b99ed47cd330069b84c529b67fde98.tar.zst
nixpkgs-ae096444a2b99ed47cd330069b84c529b67fde98.zip
simgrid: 3.15 -> 3.17 (#32114)
* simgrid: 3.15 -> 3.17 + clean + add options

* Add myself as maintainer

* Fix typo
Diffstat (limited to 'lib')
-rw-r--r--lib/maintainers.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/maintainers.nix b/lib/maintainers.nix
index 412424d6737..de8627b0804 100644
--- a/lib/maintainers.nix
+++ b/lib/maintainers.nix
@@ -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>";