Merge pull request #120613 from erikbackman/master

2021-05-01 18:42:40 +02:00
parent 1733bade1a 95b40e4143
commit 4b2c9640e7
3 changed files with 61 additions and 0 deletions
@@ -3029,6 +3029,12 @@
      fingerprint = "F178 B4B4 6165 6D1B 7C15  B55D 4029 3358 C7B9 326B";
    }];
  };
+  erikbackman = {
+    email = "contact@ebackman.net";
+    github = "erikbackman";
+    githubId = 46724898;
+    name = "Erik Backman";
+  };
  erikryb = {
    email = "erik.rybakken@math.ntnu.no";
    github = "erikryb";