From 9baafef5b3fa1a7f41f18b77ed0744692ebf8cac Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 2 Aug 2018 15:42:55 +0200
Subject: [PATCH 1/1] Update.

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

diff --git a/.mailmap b/.mailmap
index 61b9df5361..3e2afe02b9 100644
--- a/.mailmap
+++ b/.mailmap
@@ -35,6 +35,7 @@ Augustin Degomme <adegomme@gmail.com> <adegomme@users.noreply.github.com>
 Augustin Degomme <adegomme@gmail.com> <augustin.degomme@imag.fr>
 Augustin Degomme <adegomme@gmail.com> <augustin.degomme@unibas.ch>
 Augustin Degomme <adegomme@gmail.com> <degomme@debian.localdomain>
+Augustin Degomme <adegomme@gmail.com> <degomme@idpann>
 Augustin Degomme <adegomme@gmail.com> <degomme@idpann.imag.fr>
 Augustin Degomme <adegomme@gmail.com> <degomme@localhost.localdomain>
 Augustin Degomme <adegomme@gmail.com> <degomme@wasabi>
-- 
2.20.1