diff options
author | Emily | 2024-08-22 01:03:44 +0100 |
---|---|---|
committer | GitHub | 2024-08-22 01:03:44 +0100 |
commit | e4966e3028c36c91a6d46e493e50c5ac762907f8 (patch) | |
tree | be3ec3853db7c66cccff71ba0c4ffd74a93eff65 /maintainers | |
parent | c849780855b5394583cc765e2ba4c046f95a44b3 (diff) | |
parent | 79fea538ea5112e72210a6eea686b7c7e6429235 (diff) |
Merge pull request #316431 from rcmlz/tigerjython
tigerjython: init at 2.39
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 c1d5150d316a..631b7298e1ca 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -17238,6 +17238,12 @@ githubId = 52847440; name = "Ryan Burns"; }; + rcmlz = { + email = "haguga-nixos@yahoo.com"; + github = "rcmlz"; + githubId = 19784049; + name = "rcmlz"; + }; rcoeurjoly = { email = "rolandcoeurjoly@gmail.com"; github = "RCoeurjoly"; |