delete mrbitt maintainers
This commit is contained in:
Giacomo 2022-06-27 00:27:46 +02:00 committed by GitHub
parent 923e4415d2
commit cd52b6d893
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -36,7 +36,7 @@ stdenv.mkDerivation {
''; '';
homepage = "http://people.maths.ox.ac.uk/nanda/perseus/index.html"; homepage = "http://people.maths.ox.ac.uk/nanda/perseus/index.html";
license = lib.licenses.gpl3; license = lib.licenses.gpl3;
maintainers = with lib.maintainers; [ erikryb mrbitt ]; maintainers = with lib.maintainers; [ erikryb ];
platforms = lib.platforms.linux; platforms = lib.platforms.linux;
}; };
} }