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 <[email protected]> --- .mailmap | 1 + 1 file changed, 1 insertion(+) diff --git a/.mailmap b/.mailmap index 2edbeb5..8aefb5a 100644 --- a/.mailmap +++ b/.mailmap @@ -204,6 +204,7 @@ Seth Falcon <[email protected]> <[email protected]> Shawn O. Pearce <[email protected]> Simon Hausmann <[email protected]> <[email protected]> Simon Hausmann <[email protected]> <[email protected]> +Stefan Beller <[email protected]> <[email protected]> Stefan Naewe <[email protected]> <[email protected]> Stefan Naewe <[email protected]> <[email protected]> Stefan Sperling <[email protected]> <[email protected]> -- 2.0.2.608.g398dd4b -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html

