diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2022-10-13 12:39:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-13 12:39:02 +0200 |
commit | a3073c49bc0163fea6a121c276f526837672b555 (patch) | |
tree | 3c1a3d7d100aa4274575e5f214038d5b5e2214ea /maintainers | |
parent | 652d76837acff4bb2951fbe2bdfae4bc86075f8a (diff) | |
parent | 2b387a08ccd110210d9594f142bb30c3ef45bda2 (diff) |
Merge pull request #195132 from kouyk/jetbrains-gateway-client
jetbrains.gateway: init at 223.6160.27
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 20079be7dcfb7..6019bf4d7117a 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -7336,6 +7336,12 @@ githubId = 2037002; name = "Konstantinos"; }; + kouyk = { + email = "skykinetic@stevenkou.xyz"; + github = "kouyk"; + githubId = 1729497; + name = "Steven Kou"; + }; kovirobi = { email = "kovirobi@gmail.com"; github = "KoviRobi"; |