mikutter: init at 3.5.7

fixes #25852
This commit is contained in:
midchildan
2017-05-18 09:47:45 +09:00
committed by Jörg Thalheim
parent bce69a0b1a
commit 2c393164c8
13 changed files with 636 additions and 2 deletions

View File

@@ -336,6 +336,7 @@
michaelpj = "Michael Peyton Jones <michaelpj@gmail.com>";
michalrus = "Michal Rus <m@michalrus.com>";
michelk = "Michel Kuhlmann <michel@kuhlmanns.info>";
midchildan = "midchildan <midchildan+nix@gmail.com>";
mikefaille = "Michaël Faille <michael@faille.io>";
miltador = "Vasiliy Solovey <miltador@yandex.ua>";
mimadrid = "Miguel Madrid <mimadrid@ucm.es>";