diff options
author | Sandro | 2023-04-08 19:11:18 +0200 |
---|---|---|
committer | GitHub | 2023-04-08 19:11:18 +0200 |
commit | 0885905707341aa7f0d1d9881a9617fe6559b9ed (patch) | |
tree | 1904deb210a2ef59e076ee44dde9c42b1c4f1bdc /maintainers | |
parent | 3bae3fd874a6e09252b237db909c249fbf6e1ad3 (diff) | |
parent | d0242fd7fe1a26a9909d951c2d5d79533c5f215d (diff) |
Merge pull request #210667 from Arian-D/discordo
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 bbd576061eec..e29c2cc8e16c 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1180,6 +1180,12 @@ githubId = 58516559; name = "Alexander Rezvov"; }; + arian-d = { + email = "arianxdehghani@gmail.com"; + github = "arian-d"; + githubId = 40076285; + name = "Arian Dehghani"; + }; arianvp = { email = "arian.vanputten@gmail.com"; github = "arianvp"; |