maintainers: add 0david0mp

2024-07-11 20:09:03 +02:00
parent e145f76d12
commit 26a9771c93
1 changed files with 6 additions and 0 deletions
@@ -71,6 +71,12 @@
    github = "0b11stan";
    githubId = 27831931;
  };
+  _0david0mp = {
+    email = "davidmrpr@proton.me";
+    github = "0david0mp";
+    githubId = 54892055;
+    name = "David mp";
+  };
  _0nyr = {
    email = "onyr.maintainer@gmail.com";
    github = "0nyr";