trx: init at 2018-01-23 (#53324)

2019-01-04 13:46:57 +01:00
parent ee13b6fdd0
commit 3569ff78f6
3 changed files with 30 additions and 0 deletions
@@ -1750,6 +1750,11 @@
    github = "hamhut1066";
    name = "Hamish Hutchings";
  };
+  hansjoergschurr = {
+    email = "commits@schurr.at";
+    github = "hansjoergschurr";
+    name = "Hans-Jörg Schurr";
+  };
  haslersn = {
    email = "haslersn@fius.informatik.uni-stuttgart.de";
    github = "haslersn";