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 | |
| parent | 2274d7e96ee76d350dcfb72f8133500beafacb3e (diff) | |
| parent | ec098aad41da059b0ce71292638a78d0e71d5350 (diff) | |
| download | nixpkgs-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar nixpkgs-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.gz nixpkgs-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.bz2 nixpkgs-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.lz nixpkgs-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.xz nixpkgs-860aa01782d112ee911a8f36fb15fca3e4af58e6.tar.zst nixpkgs-860aa01782d112ee911a8f36fb15fca3e4af58e6.zip | |
Merge pull request #14618 from moretea/update_mcrl2
Update mcrl2
Diffstat (limited to 'lib')
| -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 de32d81e200..0d4f441b96e 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>"; |