diff options
author | ajs124 <ajs124@users.noreply.github.com> | 2021-11-13 03:09:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-13 03:09:37 +0100 |
commit | c696ab65ce952b369ef67d65cd8dcaa4e7326d25 (patch) | |
tree | bdc718f691d901b7948760fa0dce0ccb39601f52 /maintainers | |
parent | b5a7942648532ff52ac627b4e5a48f574da460b8 (diff) | |
parent | 8f5710de131f9296ee9ba986f6e702f9330e0131 (diff) |
Merge pull request #145494 from DarkOnion0/master
drawio: 14.5.1 -> 15.7.3
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 7de5fc1ad45c8..02ec661b68762 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2537,6 +2537,13 @@ githubId = 86075850; name = "Danil Danevich"; }; + darkonion0 = { + name = "Alexandre Peruggia"; + email = "darkgenius1@protonmail.com"; + matrix = "@alexoo:matrix.org"; + github = "DarkOnion0"; + githubId = 68606322; + }; das-g = { email = "nixpkgs@raphael.dasgupta.ch"; github = "das-g"; |