diff options
author | Nick Cao <nickcao@nichi.co> | 2023-10-12 20:05:04 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-12 20:05:04 -0400 |
commit | d1a8d937445a970c1342a2bd360a86f235379e2e (patch) | |
tree | de0221028e5d77e33b808a0d9e569aab50fae0aa /maintainers | |
parent | 7cd50f640e9483c6bb661564a2eeb42e1a1f2396 (diff) | |
parent | 32814b01a40c914c8637e60cbada11ef47659501 (diff) |
Merge pull request #258616 from ctron/add-trunk-ng
add trunk-ng, a fork of trunk
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 353d86c39c560..5bf64c192fa66 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3701,6 +3701,12 @@ githubId = 490965; name = "Craig Swank"; }; + ctron = { + email = "ctron@dentrassi.de"; + github = "ctron"; + githubId = 202474; + name = "Jens Reimann"; + }; cust0dian = { email = "serg@effectful.software"; github = "cust0dian"; |