diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 1bd0ebffdba..5e6b6a44284 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -7782,6 +7782,12 @@ githubId = 1486805; name = "Toon Nolten"; }; + toschmidt = { + email = "tobias.schmidt@in.tum.de"; + github = "toschmidt"; + githubId = 27586264; + name = "Tobias Schmidt"; + }; travisbhartwell = { email = "nafai@travishartwell.net"; github = "travisbhartwell";