diff options
| author | Pavel Shirshov <pshirshov@eml.cc> | 2021-09-11 16:52:10 +0100 |
|---|---|---|
| committer | Pavel Shirshov <pshirshov@eml.cc> | 2021-09-11 16:52:10 +0100 |
| commit | dbd8269eabc92f69c80fa09549ee3b4fd74ba8a4 (patch) | |
| tree | d5058317dc53a422fdf1f5cd790834615d1214ae /maintainers/maintainer-list.nix | |
| parent | e422b490c51634d0ffe18b76d352afb58c3aae90 (diff) | |
maintainers: add pshirshov
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 09c65a77fde0..e9ef7051d1e7 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -8806,6 +8806,12 @@ githubId = 33375; name = "Peter Sanford"; }; + pshirshov = { + email = "pshirshov@eml.cc"; + github = "pshirshov"; + githubId = 295225; + name = "Pavel Shirshov"; + }; psibi = { email = "sibi@psibi.in"; github = "psibi"; |