Update .mailmap [ci-skip]

diff --git a/.mailmap b/.mailmap
index f7f551c..5efced4 100644 (file)
--- a/.mailmap
+++ b/.mailmap
@@ -85,6 +85,7 @@ Christian Heinrich <franz-christian.heinrich@inria.fr> <christian@gladbachcity.d
 Jean-Baptiste Hervé <jean-baptiste.herve@esial.net>
 Takahiro Hirofuchi <t.hirofuchi+sg@aist.go.jp> <thirofuchi@debian.(none)>
 Sascha Hunold <sascha@uni-hd.de> <sahu@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
+Mathieu Laurent <mathieu.laurent@ens-rennes.fr>
 Adrien Lèbre <adrien.lebre@inria.fr>
 Adrien Lèbre <adrien.lebre@inria.fr> <alebre@adsein-4.local>
 Adrien Lèbre <adrien.lebre@inria.fr> <alebre@adsein.local>