maintainers: add binsky

2022-05-05 17:43:56 +02:00
parent 448ed95e9e
commit b99b2783ec
1 changed files with 6 additions and 0 deletions
@@ -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";