add myself to the maintainers list

This is my second patch to the tlaplus package and I agreed to add
myself as a maintainer on my next contribution.
This commit is contained in:
Michael Gregson 2023-05-10 01:30:45 -05:00
parent be76fb11c9
commit 886fa6e8af
2 changed files with 6 additions and 1 deletions

View file

@ -10145,6 +10145,11 @@
githubId = 9469313;
name = "Gregoire Martinache";
};
mgregson = {
github = "mgregson";
githubId = 333572;
name = "Michael Gregson";
};
mgttlinger = {
email = "megoettlinger@gmail.com";
github = "mgttlinger";

View file

@ -32,6 +32,6 @@ stdenv.mkDerivation rec {
sourceProvenance = with lib.sourceTypes; [ binaryBytecode ];
license = lib.licenses.mit;
platforms = lib.platforms.unix;
maintainers = with lib.maintainers; [ florentc thoughtpolice ];
maintainers = with lib.maintainers; [ florentc thoughtpolice mgregson ];
};
}