diff options
| author | Maarten Hoogendoorn <maarten@moretea.nl> | 2016-04-12 12:12:46 +0200 |
|---|---|---|
| committer | Maarten Hoogendoorn <maarten@moretea.nl> | 2016-04-12 22:16:30 +0200 |
| commit | ec098aad41da059b0ce71292638a78d0e71d5350 (patch) | |
| tree | c5842dfa600e1e0af3e576fe70afad006377c5c4 /lib | |
| parent | dddb62d3e31bed1d6127f396f5f89c6ed2799c9e (diff) | |
| download | nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.gz nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.bz2 nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.lz nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.xz nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.zst nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.zip | |
mcrl2: 2009.01 -> 2014.09
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 9937912ec3e5..905cf761aa40 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>"; |