tlaplus: remove myself from maintainers list

This commit is contained in:
Badi Abdul-Wahid 2020-09-09 10:40:46 -05:00
parent 9c6c7acf22
commit f3ce1df79a
No known key found for this signature in database
GPG key ID: 5C02A763FA1FF588
2 changed files with 2 additions and 2 deletions

View file

@ -48,7 +48,7 @@ stdenv.mkDerivation rec {
homepage = "https://tla.msr-inria.inria.fr/tlaps/content/Home.html";
license = stdenv.lib.licenses.bsd2;
platforms = stdenv.lib.platforms.unix;
maintainers = [ stdenv.lib.maintainers.badi ];
maintainers = [ ];
};
}

View file

@ -76,6 +76,6 @@ in stdenv.mkDerivation {
# http://lamport.azurewebsites.net/tla/license.html
license = with lib.licenses; [ mit ];
platforms = stdenv.lib.platforms.linux;
maintainers = [ stdenv.lib.maintainers.badi ];
maintainers = [ ];
};
}