diff options
| author | John Wiegley <jwiegley@gmail.com> | 2017-08-04 15:29:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-04 15:29:18 -0700 |
| commit | 6ff50dc16466d4881db4906e3fe94f9fd2ce6c8d (patch) | |
| tree | ec08563f80f41f1eeedd78f479653cf3afd64b8c /lib/maintainers.nix | |
| parent | 268374cafe7469aeeb20fa3892061169220bd0c9 (diff) | |
| parent | 057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e (diff) | |
| download | nixlib-6ff50dc16466d4881db4906e3fe94f9fd2ce6c8d.tar nixlib-6ff50dc16466d4881db4906e3fe94f9fd2ce6c8d.tar.gz nixlib-6ff50dc16466d4881db4906e3fe94f9fd2ce6c8d.tar.bz2 nixlib-6ff50dc16466d4881db4906e3fe94f9fd2ce6c8d.tar.lz nixlib-6ff50dc16466d4881db4906e3fe94f9fd2ce6c8d.tar.xz nixlib-6ff50dc16466d4881db4906e3fe94f9fd2ce6c8d.tar.zst nixlib-6ff50dc16466d4881db4906e3fe94f9fd2ce6c8d.zip | |
Merge pull request #27918 from Zimmi48/coq-update
Coq update
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 4d2ca3f0f338..a85b541e031d 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -634,6 +634,7 @@ zauberpony = "Elmar Athmer <elmar@athmer.org>"; zef = "Zef Hemel <zef@zef.me>"; zimbatm = "zimbatm <zimbatm@zimbatm.com>"; + Zimmi48 = "Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>"; zohl = "Al Zohali <zohl@fmap.me>"; zoomulator = "Kim Simmons <zoomulator@gmail.com>"; zraexy = "David Mell <zraexy@gmail.com>"; |