Merge pull request #111632 from felixsinger/iotools

2021-02-09 09:15:13 +01:00
parent a073dd54aa f639ec7fc8
commit b0a1efd8bb
3 changed files with 43 additions and 0 deletions
@@ -3049,6 +3049,12 @@
    githubId = 9959940;
    name = "Andreas Fehn";
  };
+  felixsinger = {
+    email = "felixsinger@posteo.net";
+    github = "felixsinger";
+    githubId = 628359;
+    name = "Felix Singer";
+  };
  felschr = {
    email = "dev@felschr.com";
    github = "felschr";