maintainers: add tehmatt

2023-01-29 16:15:46 -08:00
parent 6c6bc2f650
commit 597e558b14
1 changed files with 6 additions and 0 deletions
@@ -14297,6 +14297,12 @@
    githubId = 139251;
    name = "Tom Hunger";
  };
+  tehmatt = {
+    name = "tehmatt";
+    email = "nix@programsareproofs.com";
+    github = "tehmatt";
+    githubId = 3358866;
+  };
  tejasag = {
    name = "Tejas Agarwal";
    email = "tejasagarwalbly@gmail.com";