From 0d81597680da4b8a8adc651ecc611aa2c6e001ff Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 27 Feb 2023 17:13:35 +0100
Subject: [PATCH] Update .mailmap [ci-skip]

---
 .mailmap | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.mailmap b/.mailmap
index f7f551c6fc..5efced498c 100644
--- 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>
-- 
2.20.1