diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2022-12-18 19:27:49 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-18 19:27:49 +0000 |
commit | 510e1ed5ebd503e4573afcb5c8c95686e70d74af (patch) | |
tree | 41f2ecec4d4b9ec4620148111e8a7cf7382b887e /maintainers | |
parent | b83c2ee15c30b0628f2e32742cad045b2813ecc7 (diff) | |
parent | 35b6a7722d348690490a2d207fd4597da3468f3b (diff) |
Merge pull request #198791 from henkery/code-server-4.8
code-server: 4.0.1 -> 4.8.3
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 87d683fc2ea67..97179337e778d 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -5553,6 +5553,12 @@ matrix = "@chris:netsoj.nl"; name = "Chris Josten"; }; + henkery = { + email = "jim@reupload.nl"; + github = "henkery"; + githubId = 1923309; + name = "Jim van Abkoude"; + }; henrikolsson = { email = "henrik@fixme.se"; github = "henrikolsson"; |