Merge pull request #123829 from LogicalOverflow/master

2021-05-22 14:36:01 +02:00
parent ae5268b96e 7a405ec11f
commit f1452b8978
3 changed files with 44 additions and 0 deletions
@@ -5696,6 +5696,12 @@
    githubId = 6652840;
    name = "Jade";
  };
+  lgcl = {
+    email = "dev@lgcl.de";
+    name = "Leon Vack";
+    github = "LogicalOverflow";
+    githubId = 5919957;
+  };
  lheckemann = {
    email = "git@sphalerite.org";
    github = "lheckemann";