diff options
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 0fdd8716f6cb3..a4120eb253c4f 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -12074,6 +12074,15 @@ githubId = 4633847; name = "Ben Hamlin"; }; + prrlvr = { + email = "po@prrlvr.fr"; + github = "prrlvr"; + githubId = 33699501; + name = "Pierre-Olivier Rey"; + keys = [{ + fingerprint = "40A0 78FD 297B 0AC1 E6D8 A119 4D38 49D9 9555 1307"; + }]; + }; prusnak = { email = "pavol@rusnak.io"; github = "prusnak"; |