diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-10-05 12:45:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-05 12:45:53 +0200 |
commit | be36cb1636416719e26863311b8361d68468c88c (patch) | |
tree | b00e186c3738f14c19a6a6cfdf7d9e8d0dadb13c /maintainers | |
parent | a07cc9cf8a0f6176a6a058eb69b0c2a0ef1f1c73 (diff) | |
parent | 14bb4ee9b7e652409856feefedd8377f9b52727c (diff) |
Merge pull request #194445 from naphta/master
opcr-policy: init at 0.1.42
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 b8e642588d443..1f6d48f20d003 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -9390,6 +9390,12 @@ githubId = 1222539; name = "Roman Naumann"; }; + naphta = { + email = "naphta@noreply.github.com"; + github = "naphta"; + githubId = 6709831; + name = "Jake Hill"; + }; nasirhm = { email = "nasirhussainm14@gmail.com"; github = "nasirhm"; |