commit | 98b12a4b9ab319be5bd3dcd003069e8720b8e7a5 | [log] [tgz] |
---|---|---|
author | Stefan Beller <stefanbeller@gmail.com> | Wed Jul 23 14:32:10 2014 +0200 |
committer | Junio C Hamano <gitster@pobox.com> | Wed Jul 23 11:27:05 2014 -0700 |
tree | c3fcc6cc0c0c55935be79b64ce58f6b82417d392 | |
parent | 405869d0d5e5c943af08c0a0b32989843b001b66 [diff] |
.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>