mailmap: make [email protected] primary

It seems more appropriate than @gmail.com Signed-off-by: Loic Dachary <[email protected]>
dano · Jan 10, 2014 · af0269d · af0269d
1 parent f18b310
commit af0269d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.mailmap b/.mailmap
@@ -65,7 +65,7 @@ Caleb Miles <[email protected]> caleb miles <[email protected]>
 Caleb Miles <[email protected]> Caleb Miles <[email protected]>
 Joe Buck <[email protected]> <[email protected]>
 Laszlo Boszormenyi <[email protected]> Laszlo Boszormenyi (GCS) <[email protected]>
-Roald J. van Loon <[email protected]> Roald van Loon <[email protected]>
+Roald J. van Loon <[email protected]> <[email protected]>
 Alex Elder <[email protected]> <[email protected]>
 Alex Elder <[email protected]> <elder@doink.(none)>
 Alex Elder <[email protected]> <elder@speedy.(none)>