maintainers: add lde

2021-07-16 11:08:10 +02:00
parent 1f94231db2
commit c2f41af67e
1 changed files with 6 additions and 0 deletions
@@ -5876,6 +5876,12 @@
    githubId = 1104419;
    name = "Lucas Hoffmann";
  };
+  lde = {
+    email = "lilian.deloche@puck.fr";
+    github = "lde";
+    githubId = 1447020;
+    name = "Lilian Deloche";
+  };
  ldelelis = {
    email = "ldelelis@est.frba.utn.edu.ar";
    github = "ldelelis";