Merge pull request #115168 from p3psi-boo/master

maintainers: add p3psi
This commit is contained in:
Jörg Thalheim 2021-03-05 08:51:32 +00:00 committed by GitHub
commit 1d73b07d87
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -10838,4 +10838,10 @@
github = "benneti";
githubId = 11725645;
};
p3psi = {
name = "Elliot Boo";
email = "p3psi.boo@gmail.com";
github = "p3psi-boo";
githubId = 43925055;
};
}