maintainers: add krovuxdev

2024-04-09 19:11:15 -05:00
parent b0dab7cc34
commit b0ed9f01c1
1 changed files with 6 additions and 0 deletions
@@ -10790,6 +10790,12 @@
    githubId = 5759930;
    name = "Alexis Destrez";
  };
+  krovuxdev = {
+    name = "krovuxdev";
+    email = "krovuxdev@proton.me";
+    github = "krovuxdev";
+    githubId = 62192487;
+  };
  krupkat = {
    github = "krupkat";
    githubId = 6817216;