diff options
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index a0c656f0be82..6f60ae898622 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3732,6 +3732,11 @@ github = "polyrod"; name = "Maurizio Di Pietro"; }; + pombeirp = { + email = "nix@endgr.33mail.com"; + github = "PombeirP"; + name = "Pedro Pombeiro"; + }; pradeepchhetri = { email = "pradeep.chhetri89@gmail.com"; github = "pradeepchhetri"; |