diff options
author | Artturi <Artturin@artturin.com> | 2021-09-11 19:10:12 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-11 19:10:12 +0300 |
commit | 0f05da42d62c8971c3abaf6098686b3175940a7a (patch) | |
tree | 758d80659b282878b90adc86edaaf4dea206d66e /maintainers | |
parent | 790559422e7740c5539111b1431557c10a373908 (diff) | |
parent | bc4d8649d9de90c710b290faf984417c0390b660 (diff) |
Merge pull request #136897 from pshirshov/br9020cdw
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 030ba7bd9688..4739a46466e0 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -8822,6 +8822,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"; |