diff options
author | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-01-27 10:15:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-27 10:15:28 +0100 |
commit | e59dcf8ccec439f54dc52ffd5832610fc3f6c9c2 (patch) | |
tree | 380e90802863fd5805f3d9e3a5c9ce3d06a4fad4 /maintainers/maintainer-list.nix | |
parent | 26dbde5dbcaff6322cc649ac17150214ee259f9d (diff) | |
parent | b25a192755a4429fc65fefb38f4ebd213971b361 (diff) | |
download | nixpkgs-e59dcf8ccec439f54dc52ffd5832610fc3f6c9c2.tar nixpkgs-e59dcf8ccec439f54dc52ffd5832610fc3f6c9c2.tar.gz nixpkgs-e59dcf8ccec439f54dc52ffd5832610fc3f6c9c2.tar.bz2 nixpkgs-e59dcf8ccec439f54dc52ffd5832610fc3f6c9c2.tar.lz nixpkgs-e59dcf8ccec439f54dc52ffd5832610fc3f6c9c2.tar.xz nixpkgs-e59dcf8ccec439f54dc52ffd5832610fc3f6c9c2.tar.zst nixpkgs-e59dcf8ccec439f54dc52ffd5832610fc3f6c9c2.zip |
Merge pull request #78253 from jpas/CoLoR-1.6.0
coqPackages.CoLoR: 1.4.0 -> 1.7.0
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 3ed31c9ce91..22f9b78a650 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3498,6 +3498,12 @@ github = "jorsn"; githubId = 4646725; }; + jpas = { + name = "Jarrod Pas"; + email = "jarrod@jarrodpas.com"; + github = "jpas"; + githubId = 5689724; + }; jpdoyle = { email = "joethedoyle@gmail.com"; github = "jpdoyle"; |