diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2021-03-05 08:51:32 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-05 08:51:32 +0000 |
commit | 1d73b07d8746ed62cce744d8ed6a99a7398ec276 (patch) | |
tree | 1ede7b59ccd14f905decee815a08a982be34ea99 | |
parent | 24a937023c4f05893e6d3215741580d16bd0fd89 (diff) | |
parent | b6b84957e22fbcdc917878a956af781b1d80a3d1 (diff) |
Merge pull request #115168 from p3psi-boo/master
maintainers: add p3psi
-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 a72df99ea2106..78fc353a8bf0f 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -10838,4 +10838,10 @@ github = "benneti"; githubId = 11725645; }; + p3psi = { + name = "Elliot Boo"; + email = "p3psi.boo@gmail.com"; + github = "p3psi-boo"; + githubId = 43925055; + }; } |