maintainers: add potb

2024-05-24 16:01:53 +02:00
parent 72c75d0101
commit 146f08b87a
1 changed files with 5 additions and 0 deletions
@@ -16325,6 +16325,11 @@
    githubId = 146413;
    name = "Tobias Poschwatta";
  };
+  potb = {
+    name = "Peïo Thibault";
+    github = "potb";
+    githubId = 10779093;
+  };
  poweredbypie = {
    name = "poweredbypie";
    github = "poweredbypie";