Merge pull request #252615 from frederictobiasc/maintainer-frederictobiasc

maintainers: Add frederictobiasc
2023-08-31 23:23:03 +03:00
parent 5d2328ebb2 b421be37da
commit 1b6fe2b3f3
1 changed files with 6 additions and 0 deletions
@@ -5814,6 +5814,12 @@
    githubId = 7551358;
    name = "Frede Emil";
  };
+  frederictobiasc = {
+    email = "dev@ntr.li";
+    github = "frederictobiasc";
+    githubId = 26125115;
+    name = "Frédéric Christ";
+  };
  Freed-Wu = {
    email = "wuzhenyu@ustc.edu";
    github = "Freed-Wu";