maintainers: add dsymbol

2023-02-23 21:56:47 +02:00
parent 1ff31399da
commit 573f83e17f
1 changed files with 5 additions and 0 deletions
@@ -4010,6 +4010,11 @@
    githubId = 1931963;
    name = "David Sferruzza";
  };
+  dsymbol = {
+    name = "dsymbol";
+    github = "dsymbol";
+    githubId = 88138099;
+  };
  dtzWill = {
    email = "w@wdtz.org";
    github = "dtzWill";