diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 81631a4293f..2ac1c3d8235 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1571,6 +1571,12 @@ githubId = 185443; name = "Alexey Lebedeff"; }; + binsky = { + email = "timo@binsky.org"; + github = "binsky08"; + githubId = 30630233; + name = "Timo Triebensky"; + }; bjg = { email = "bjg@gnu.org"; name = "Brian Gough";