maintainers: add thomasdesr

2020-05-08 09:23:18 -07:00
parent 92b43be92a
commit 43c6151294
1 changed files with 6 additions and 0 deletions
@@ -7688,6 +7688,12 @@
    githubId = 7709;
    name = "Thomaz Leite";
  };
+  thomasdesr = {
+    email = "git@hive.pw";
+    github = "thomasdesr";
+    githubId = 681004;
+    name = "Thomas Desrosiers";
+  };
  ThomasMader = {
    email = "thomas.mader@gmail.com";
    github = "ThomasMader";