diff options
author | Nick Cao <nickcao@nichi.co> | 2023-01-15 08:10:08 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-15 08:10:08 +0800 |
commit | 2da37482b1c5d99851dc683c714429734cba4191 (patch) | |
tree | d9dd47c4794f674ebbf93204cb65f52e9c7ec3d6 /maintainers | |
parent | f9462cacb21546b1e636d74435f1c724955a7004 (diff) | |
parent | 54c8b865d7d9abd738b86bafc7a1cdc61f66c815 (diff) |
Merge pull request #200434 from DavSanchez/derivation/cotp
cotp: init at 1.1.0
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 7d1bf1a48b64..96886f8735b3 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3291,6 +3291,12 @@ githubId = 798427; name = "Davor Babic"; }; + davsanchez = { + email = "davidslt+nixpkgs@pm.me"; + github = "davsanchez"; + githubId = 11422515; + name = "David Sánchez"; + }; dawidsowa = { email = "dawid_sowa@posteo.net"; github = "dawidsowa"; |