Merge pull request #118685 from petrosagg/add-materialize

2021-04-14 18:34:28 +02:00
parent 912e11a468 f8c1312e95
commit 5280218da0
4 changed files with 164 additions and 0 deletions
@@ -7569,6 +7569,12 @@
    githubId = 28323;
    name = "Peter Simons";
  };
+  petrosagg = {
+    email = "petrosagg@gmail.com";
+    github = "petrosagg";
+    githubId = 939420;
+    name = "Petros Angelatos";
+  };
  petterstorvik = {
    email = "petterstorvik@gmail.com";
    github = "storvik";