Merge pull request #216776 from DIzFer/delete-myself

maintaniers: remove dizfer
This commit is contained in:
Bobby Rong 2023-02-17 21:36:59 +08:00 committed by GitHub
commit 9c5a25248b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 7 deletions

View File

@ -3762,12 +3762,6 @@
githubId = 14034137;
name = "Mostly Void";
};
dizfer = {
email = "david@izquierdofernandez.com";
github = "DIzFer";
githubId = 8852888;
name = "David Izquierdo";
};
djacu = {
email = "daniel.n.baker@gmail.com";
github = "djacu";

View File

@ -101,6 +101,6 @@ stdenv.mkDerivation rec {
details and threading mechanisms for scalability and performance.
'';
platforms = platforms.unix;
maintainers = with maintainers; [ thoughtpolice dizfer ];
maintainers = with maintainers; [ thoughtpolice ];
};
}