maintainers: add Anton-4

2025-05-16 17:54:53 +02:00
parent 7b7a9a6a14
commit 715a1b1c49
1 changed files with 5 additions and 0 deletions
@@ -1772,6 +1772,11 @@
    githubId = 301546;
    name = "Antoine Roy-Gobeil";
  };
+  anton-4 = {
+    name = "Anton";
+    github = "Anton-4";
+    githubId = 17049058;
+  };
  anton-dessiatov = {
    email = "anton.dessiatov@gmail.com";
    github = "anton-dessiatov";