diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-07-01 22:16:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-01 22:16:24 +0200 |
commit | 7c1c1cca3bab1c65491033a6d665ea5ab13547e9 (patch) | |
tree | 714a9bbb9e3ffb332e9dd76e94e961c1778711e6 /maintainers | |
parent | 94cc879da0ffad9d56a25096357ebe5fe4234799 (diff) | |
parent | 84a29ac208037849c25a355cc141c7d7b9b378b1 (diff) |
Merge pull request #178813 from catap/jprofiler
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 c5cd933d0bbd..975922f84f3d 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2037,6 +2037,12 @@ githubId = 1945; name = "Casey Rodarmor"; }; + catap = { + email = "kirill@korins.ky"; + github = "catap"; + githubId = 37775; + name = "Kirill A. Korinsky"; + }; catern = { email = "sbaugh@catern.com"; github = "catern"; |