mailmap: use Michael J Gruber's new address
authorMichael J Gruber <git@grubix.eu>
Fri, 24 Mar 2017 14:01:36 +0000 (15:01 +0100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 24 Mar 2017 19:30:27 +0000 (12:30 -0700)
Map both old addresses to the new, hopefully more permanent one.

Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net>
Signed-off-by: Michael J Gruber <git@grubix.eu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found