diff options
author | Janik <80165193+Janik-Haag@users.noreply.github.com> | 2023-06-26 18:15:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-26 18:15:28 +0200 |
commit | a2f36b296354ec81cdebfa5da1545152b3f1e949 (patch) | |
tree | 90328e9c9924192dcddbebdb9f42a0edc15f3446 /maintainers | |
parent | df708463c90db17e8e5984b4ff98094f791622eb (diff) | |
parent | 886fa6e8af52f8410590c2aef9d5bbf0a7b7361b (diff) |
Merge pull request #231149 from mgregson/tlaplus-remove-unnecessary-jdk-dependency
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index a5e9b2edf6788..b4a64c7ae54c6 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -10477,6 +10477,11 @@ githubId = 9469313; name = "Gregoire Martinache"; }; + mgregson = { + github = "mgregson"; + githubId = 333572; + name = "Michael Gregson"; + }; mgttlinger = { email = "megoettlinger@gmail.com"; github = "mgttlinger"; |