diff options
author | Amin Bandali <aminb@gnu.org> | 2018-09-26 12:46:58 -0400 |
---|---|---|
committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-09-26 17:46:58 +0100 |
commit | 4586ff73955a761db6f05a66ff40d40dfa317e73 (patch) | |
tree | f2a0389b1ecce3d0c94b83957095ed4e849ab66f /maintainers | |
parent | e7ca9af4cc7ad9c1c980ba4694cc9edaedcfda19 (diff) |
alloy: add alloy5 and take maintainership (#47262)
Add alloy5 (currently, 5.0.0.1), update homepage and downloadPage, and take maintainership of the package.
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 f3b0772faa866..e6bf0bace1d78 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -221,6 +221,11 @@ github = "amiloradovsky"; name = "Andrew Miloradovsky"; }; + aminb = { + email = "amin@aminb.org"; + github = "aminb"; + name = "Amin Bandali"; + }; aminechikhaoui = { email = "amine.chikhaoui91@gmail.com"; github = "AmineChikhaoui"; |