Merge pull request #113356 from mbaeten/master

2021-02-21 07:29:19 +01:00
parent f876a5df32 ec37ccb392
commit 60fb826327
3 changed files with 111 additions and 0 deletions
@@ -5896,6 +5896,12 @@
    githubId = 22836301;
    name = "Mateusz Mazur";
  };
+  mbaeten = {
+    email = "mbaeten@users.noreply.github.com";
+    github = "mbaeten";
+    githubId = 2649304;
+    name = "M. Baeten";
+  };
  mbakke = {
    email = "mbakke@fastmail.com";
    github = "mbakke";