Adding email to the mailmap

sergiogaiotto · Nov 17, 2015 · 54fa7aa · 54fa7aa
1 parent 8558696
commit 54fa7aa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.mailmap b/.mailmap
@@ -46,6 +46,7 @@ Gilles Louppe <[email protected]> <[email protected]>
 Hamzeh Alsalhi <[email protected]>
 Harikrishnan S <[email protected]>
 Hendrik Heuer <[email protected]>
+Henry Lin <[email protected]>
 Hrishikesh Huilgolkar <[email protected]> <hrishikesh@QE-IND-WKS007.(none)>
 Immanuel Bayer <[email protected]>
 Jacob Schreiber <[email protected]>