tree c3fcc6cc0c0c55935be79b64ce58f6b82417d392
parent 405869d0d5e5c943af08c0a0b32989843b001b66
author Stefan Beller <stefanbeller@gmail.com> 1406118730 +0200
committer Junio C Hamano <gitster@pobox.com> 1406140025 -0700

.mailmap: combine Stefan Beller's emails

Google mail has had the extension @googlemail.com for a long time
in Germany as @gmail.de was already taken by a competitor.
Nowadays the original gmail company isn't there anymore(?), hence
Googlemail also introduced @gmail.com in Germany, which I switched to.

This changed mail address of mine first appeared in 398dd4bd039680b
(2014-07-10, .mailmap: map different names with the same email
address together) ironically.

Signed-off-by: Stefan Beller <stefanbeller@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>