diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2021-02-07 18:21:44 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-07 18:21:44 +0000 |
commit | 1733a19b0283903e291b7c817b4af6b07681fac8 (patch) | |
tree | e9b36975b2b9defa380e05692fce32433854481e /maintainers | |
parent | de88795283c8459e77ed401b984900d54235795b (diff) | |
parent | 2f840975669faf39134e8b59e4771ae9d338fff7 (diff) |
Merge pull request #112110 from payasrelekar/ht
ht-rust: init at 0.5.0
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 78e2c689c9050..b8f7b7d38f10f 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -7101,6 +7101,12 @@ githubId = 15645854; name = "Brad Christensen"; }; + payas = { + email = "relekarpayas@gmail.com"; + github = "payasrelekar"; + githubId = 24254289; + name = "Payas Relekar"; + }; pawelpacana = { email = "pawel.pacana@gmail.com"; github = "pawelpacana"; |