maintainers: Add mrdev023

2025-07-02 11:21:45 +02:00
parent 0c437d83ab
commit 29787267e2
1 changed files with 8 additions and 0 deletions
@@ -16943,6 +16943,14 @@
    github = "mrcjkb";
    githubId = 12857160;
  };
+  mrdev023 = {
+    name = "Florian RICHER";
+    email = "florian.richer@protonmail.com";
+    matrix = "@mrdev023:matrix.org";
+    github = "mrdev023";
+    githubId = 11292703;
+    keys = [ { fingerprint = "B19E 3F4A 2D80 6AB4 793F  DF2F C73D 37CB ED7B FC77"; } ];
+  };
  mredaelli = {
    email = "massimo@typish.io";
    github = "mredaelli";