maintainers: add Dettorer

2023-01-08 14:02:05 +01:00
parent 12fb34eaec
commit edb47c9685
1 changed files with 7 additions and 0 deletions
@@ -3475,6 +3475,13 @@
    githubId = 10042482;
    name = "Louis Pearson";
  };
+  Dettorer = {
+    name = "Paul Hervot";
+    email = "paul.hervot@dettorer.net";
+    matrix = "@dettorer:matrix.org";
+    github = "Dettorer";
+    githubId = 2761682;
+  };
  devhell = {
    email = ''"^"@regexmail.net'';
    github = "devhell";