maintainers: add ludat

2023-11-01 01:07:51 -03:00
parent 0ac7840a74
commit c9e2f3d7fe
1 changed files with 6 additions and 0 deletions
@@ -10458,6 +10458,12 @@
    githubId = 2487922;
    name = "Lars Jellema";
  };
+  ludat = {
+    email = "lucas6246@gmail.com";
+    github = "ludat";
+    githubId = 4952044;
+    name = "Lucas David Traverso";
+  };
  ludo = {
    email = "ludo@gnu.org";
    github = "civodul";