diff options
author | lewo <lewo@abesis.fr> | 2022-02-20 11:46:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-20 11:46:43 +0100 |
commit | ea614de51a745aae32cec8a37cc48bbad94e027c (patch) | |
tree | d145e57b7fa46f7401c0724777d9ac6f0b891dea /maintainers | |
parent | c8c847b8e848714f0848479c8d11e2d2d48ffcb2 (diff) | |
parent | 531ff216711a62f48db7413f69282c01eec30313 (diff) |
Merge pull request #160452 from jrpotter/jrpotter/gremlin-server
gremlin-server: init at 3.5.2
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 4725587493bb3..541de28d7b233 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -6030,6 +6030,12 @@ githubId = 4611077; name = "Raymond Gauthier"; }; + jrpotter = { + email = "jrpotter2112@gmail.com"; + github = "jrpotter"; + githubId = 3267697; + name = "Joshua Potter"; + }; jschievink = { email = "jonasschievink@gmail.com"; matrix = "@jschievink:matrix.org"; |