mediawiki: drop redvers from maintainers

This commit is contained in:
Martin Weinelt 2021-11-29 02:06:43 +01:00
parent a0e1114e17
commit 25a9d1ba9e
No known key found for this signature in database
GPG Key ID: 87C1E9888F856759

View File

@ -34,6 +34,6 @@ stdenv.mkDerivation rec {
license = licenses.gpl2Plus; license = licenses.gpl2Plus;
homepage = "https://www.mediawiki.org/"; homepage = "https://www.mediawiki.org/";
platforms = platforms.all; platforms = platforms.all;
maintainers = [ maintainers.redvers ]; maintainers = with maintainers; [ ];
}; };
} }