diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-05-25 19:29:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-25 19:29:50 +0200 |
commit | d0f6b9d5966975de47510cbfa81e7e64bcaa9430 (patch) | |
tree | 45f270dabd06c41e5a714d1c396e2c7069ca02cb /maintainers | |
parent | 485d323a4c5390d229fb239760745d9584d3f12d (diff) | |
parent | 22e0c737ad4807c0eee671dc3f020812606e5187 (diff) |
Merge pull request #174096 from GaetanLepage/pkg/mprocs
mprocs: init at 0.2.2
Diffstat (limited to 'maintainers')
-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 928f4d2502ca6..6631421af6d21 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4525,6 +4525,12 @@ fingerprint = "0200 3EF8 8D2B CF2D 8F00 FFDC BBB3 E40E 5379 7FD9"; }]; }; + GaetanLepage = { + email = "gaetan@glepage.com"; + github = "GaetanLepage"; + githubId = 33058747; + name = "Gaetan Lepage"; + }; gal_bolle = { email = "florent.becker@ens-lyon.org"; github = "FlorentBecker"; |