maintainers: add michaelshmitty

This commit is contained in:
Michael Smith 2023-01-15 00:10:44 +01:00
parent 03793ee9b2
commit d8cbb74a4e

View file

@ -10585,6 +10585,12 @@
githubId = 1699466;
name = "Michael Peyton Jones";
};
michaelshmitty = {
name = "Michael Smith";
email = "shmitty@protonmail.com";
github = "michaelshmitty";
githubId = 114845;
};
michalrus = {
email = "m@michalrus.com";
github = "michalrus";