maintainers: add errnoh

2023-08-19 13:58:37 +03:00
parent 7b5e3d064c
commit c75a68d030
1 changed files with 5 additions and 0 deletions
@@ -5177,6 +5177,11 @@
    githubId = 1583484;
    name = "Andrey Golovizin";
  };
+  errnoh = {
+    github = "errnoh";
+    githubId = 373946;
+    name = "Erno Hopearuoho";
+  };
  ersin = {
    email = "me@ersinakinci.com";
    github = "ersinakinci";