diff options
author | joachifm <joachifm@users.noreply.github.com> | 2016-04-12 23:42:45 +0200 |
---|---|---|
committer | joachifm <joachifm@users.noreply.github.com> | 2016-04-12 23:42:45 +0200 |
commit | 860aa01782d112ee911a8f36fb15fca3e4af58e6 (patch) | |
tree | 60415e8c71d55fdc6298306c0f12020f6add513b /lib/maintainers.nix | |
parent | 2274d7e96ee76d350dcfb72f8133500beafacb3e (diff) | |
parent | ec098aad41da059b0ce71292638a78d0e71d5350 (diff) | |
download | nixlib-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar nixlib-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.gz nixlib-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.bz2 nixlib-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.lz nixlib-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.xz nixlib-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.zst nixlib-860aa01782d112ee911a8f36fb15fca3e4af58e6.zip |
Merge pull request #14618 from moretea/update_mcrl2
Update mcrl2
Diffstat (limited to 'lib/maintainers.nix')
-rw-r--r-- | lib/maintainers.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/maintainers.nix b/lib/maintainers.nix index de32d81e2008..0d4f441b96e5 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -233,6 +233,7 @@ mirdhyn = "Merlin Gaillard <mirdhyn@gmail.com>"; modulistic = "Pablo Costa <modulistic@gmail.com>"; mog = "Matthew O'Gorman <mog-lists@rldn.net>"; + moretea = "Maarten Hoogendoorn <maarten@moretea.nl>"; mornfall = "Petr Ročkai <me@mornfall.net>"; MP2E = "Cray Elliott <MP2E@archlinux.us>"; msackman = "Matthew Sackman <matthew@wellquite.org>"; |