diff options
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 5de888ff52ff..7b66baa2a7a9 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -15038,6 +15038,12 @@ githubId = 1391883; name = "Tom Hall"; }; + thubrecht = { + email = "tom@hubrecht.ovh"; + github = "Tom-Hubrecht"; + githubId = 26650391; + name = "Tom Hubrecht"; + }; Thunderbottom = { email = "chinmaydpai@gmail.com"; github = "Thunderbottom"; |