diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2023-07-21 11:37:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-21 11:37:56 +0200 |
commit | 36ea4a4b6ab950c3ea1ea9d7fe036f35bd85d2cb (patch) | |
tree | 9fda38bfff0af7477caa30664ae94bf2ddcd26ac /maintainers | |
parent | ce7cd06305d9b370f1e1490536310fad094be885 (diff) | |
parent | b5daaeea906e2c38a560e09ab1acbee8dfc30b96 (diff) |
Merge pull request #215987 from RobWalt/cod
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 4d4af4c9f47e4..50a25454e5b98 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -14228,6 +14228,12 @@ githubId = 1069318; name = "Robin Lambertz"; }; + robwalt = { + email = "robwalter96@gmail.com"; + github = "robwalt"; + githubId = 26892280; + name = "Robert Walter"; + }; roconnor = { email = "roconnor@theorem.ca"; github = "roconnor"; |