maintainers: add petrzjunior

2025-02-23 21:18:48 +01:00
parent 509aac3fc3
commit 875aa2ab4a
1 changed files with 5 additions and 0 deletions
@@ -18184,6 +18184,11 @@
    githubId = 939420;
    name = "Petros Angelatos";
  };
+  petrzjunior = {
+    github = "petrzjunior";
+    githubId = 7000918;
+    name = "Petr Zahradnik";
+  };
  petterstorvik = {
    email = "petterstorvik@gmail.com";
    github = "storvik";