diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2023-08-03 06:23:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-03 06:23:36 +0200 |
commit | a6565aafe5d60bdd00f203e08dc1f72295ddafaf (patch) | |
tree | afb9cfd04ae7c5cf3e0fe910d6f46472f911c14f /maintainers | |
parent | f1f450ab722ee5ca0ce6888ca4a8ac49a1a1fecf (diff) | |
parent | abcc2729c96688f332610b2edf7191f4a46b399d (diff) |
Merge pull request #246425 from adriandole/master
mongocxx: init at 3.8.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 20f8ce7529f71..72bde4415848a 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -418,6 +418,12 @@ githubId = 1250775; name = "Adolfo E. GarcĂa Castro"; }; + adriandole = { + email = "adrian@dole.tech"; + github = "adriandole"; + githubId = 25236206; + name = "Adrian Dole"; + }; AdsonCicilioti = { name = "Adson Cicilioti"; email = "adson.cicilioti@live.com"; |