add mic92 to maintainers

This commit is contained in:
Jörg Thalheim 2016-08-22 12:54:25 +02:00
parent 5120af001f
commit 80036bcb1d
No known key found for this signature in database
GPG key ID: CA4106B8D7CC79FA

View file

@ -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>";