Merge pull request #103227 from Mazurel/master

2020-11-23 23:09:50 +01:00
parent f7876c6bbf 8e995109f2
commit 8b65b642b1
3 changed files with 36 additions and 0 deletions
@@ -5496,6 +5496,12 @@
    githubId = 1191859;
    name = "Maxim Krivchikov";
  };
+  mazurel = {
+    email = "mateusz.mazur@yahoo.com";
+    github = "Mazurel";
+    githubId = 22836301;
+    name = "Mateusz Mazur";
+  };
  mbakke = {
    email = "mbakke@fastmail.com";
    github = "mbakke";