diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 47d418ba77b..af7506953f9 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -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";