diff options
author | Nick Cao <nickcao@nichi.co> | 2023-02-14 18:21:42 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-14 18:21:42 +0800 |
commit | 773e6e2b46867d93bff1ac2290019db45f5206bb (patch) | |
tree | 09761ee0d71545341f636968087276966cfb6792 /maintainers | |
parent | d737882493b17a873c82d3ff78985611e7d070f4 (diff) | |
parent | 121184ae3bdaeef9fc7f57f02cd10405881ca64a (diff) |
Merge pull request #213607 from CardboardTurkey/cardboardturkey/riscv-vscode-extension
vscode-extensions.zhwu95.riscv: init at 0.0.8
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 da736fbcbd45b..1caefb21948fb 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2388,6 +2388,12 @@ github = "CaptainJawZ"; githubId = 43111068; }; + CardboardTurkey = { + name = "Kiran Ostrolenk"; + email = "kostrolenk@gmail.com"; + github = "CardboardTurkey"; + githubId = 34030186; + }; carlosdagos = { email = "m@cdagostino.io"; github = "carlosdagos"; |