diff options
author | lewo <lewo@abesis.fr> | 2023-10-11 22:16:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-11 22:16:40 +0200 |
commit | dfe563cbdbc03b44f7bd76f6e36cc88e6722f483 (patch) | |
tree | be044d343b6b3c810b320dcaeeb067c57af1a30d /maintainers | |
parent | 116bc09a7d8cb2bc39e947d4cb25d280d6017dd2 (diff) | |
parent | 6b989a018268833aa10d3802e4929f77a982bde9 (diff) |
Merge pull request #259915 from zeuner/minetest-mapserver
minetest-mapserver: init at 4.7.0
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 4e3b8f74fda18..219ebfd6c10a2 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -6464,6 +6464,10 @@ githubId = 1447245; name = "Robin Gloster"; }; + gm6k = { + email = "nix@quidecco.pl"; + name = "Isidor Zeuner"; + }; gmemstr = { email = "git@gmem.ca"; github = "gmemstr"; |