Merge pull request #115729 from illustris/percol

2021-03-20 20:14:51 +01:00
parent 301460c388 e8e34953af
commit 820a6336ae
4 changed files with 58 additions and 11 deletions
@@ -4015,6 +4015,12 @@
    githubId = 61913481;
    name = "Mat Marini";
  };
+  illustris = {
+    email = "me@illustris.tech";
+    github = "illustris";
+    githubId = 3948275;
+    name = "Harikrishnan R";
+  };
  ilya-fedin = {
    email = "fedin-ilja2010@ya.ru";
    github = "ilya-fedin";