Merge pull request #17908 from Mic92/ferm

Ferm
2016-08-25 20:38:02 -04:00
parent c011aa86ab 7b354ce8cc
commit 8d10928ad0
5 changed files with 105 additions and 0 deletions
@@ -249,6 +249,7 @@
  mcmtroffaes = "Matthias C. M. Troffaes <matthias.troffaes@gmail.com>";
  meditans = "Carlo Nucera <meditans@gmail.com>";
  meisternu = "Matt Miemiec <meister@krutt.org>";
+  mic92 = "Jörg Thalheim <joerg@higgsboson.tk>";
  michaelpj = "Michael Peyton Jones <michaelpj@gmail.com>";
  michalrus = "Michal Rus <m@michalrus.com>";
  michelk = "Michel Kuhlmann <michel@kuhlmanns.info>";