maintainers: add philipdb

2025-04-22 20:13:16 +02:00
parent ed5b4d1bec
commit 63d4e1300b
1 changed files with 7 additions and 0 deletions
@@ -18858,6 +18858,13 @@
    githubId = 1640697;
    name = "Philipp Hausmann";
  };
+  philipdb = {
+    email = "philipdb.art110@passmail.com";
+    name = "Philip de Bruin";
+    github = "PhiliPdB";
+    githubId = 7051056;
+    keys = [ { fingerprint = "01AE 5EC2 39D9 CE4B DDB0  166A 4EC5 5FB7 07DC 24C4"; } ];
+  };
  Philipp-M = {
    email = "philipp@mildenberger.me";
    github = "Philipp-M";