maintainers: add khaneliman

2023-07-28 08:18:47 -03:00
parent b7253cf9c1
commit 7bc72fa471
1 changed files with 6 additions and 0 deletions
@@ -8721,6 +8721,12 @@
    githubId = 546087;
    name = "Kristoffer K. Føllesdal";
  };
+  khaneliman = {
+    email = "khaneliman12@gmail.com";
+    github = "khaneliman";
+    githubId = 1778670;
+    name = "Austin Horstman";
+  };
  khaser = {
    email = "a-horohorin@mail.ru";
    github = "khaser";