diff options
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 4d4af4c9f47..50a25454e5b 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"; |