diff options
author | Janik <80165193+Janik-Haag@users.noreply.github.com> | 2023-06-28 18:42:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-28 18:42:18 +0200 |
commit | 93f1e999f22704978505a55ca2168caae8fb6724 (patch) | |
tree | d9266e67d42924f2bfb351d754cdcc2321b53184 /maintainers | |
parent | 33909da50d21dca4784ba189d5ed3863c318fa8c (diff) | |
parent | b6e385c911c68a259280da9f0841682b1caebe05 (diff) |
Merge pull request #239035 from proofconstruction/master
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 d15b20ff1cd39..bae640db63701 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -13189,6 +13189,12 @@ githubId = 406946; name = "Valentin Lorentz"; }; + proofconstruction = { + email = "source@proof.construction"; + github = "proofconstruction"; + githubId = 74747193; + name = "Alexander Groleau"; + }; proofofkeags = { email = "keagan.mcclelland@gmail.com"; github = "ProofOfKeags"; |