From 53d371f2920d6f5b3b023efeecbf58081da499d9 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 25 Jun 2018 15:25:18 +0200
Subject: [PATCH] Update.

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

diff --git a/.mailmap b/.mailmap
index bcbe371288..65f4a890de 100644
--- a/.mailmap
+++ b/.mailmap
@@ -86,6 +86,7 @@ Pierre Navarro <pierre.navarro@imag.fr> <pierre@workhorse-2.local>
 Lucas Nussbaum <lucas.nussbaum@loria.fr> <lucas@lucas-nussbaum.net>
 Tien-Dat Phan <tien-dat.phan@irisa.fr>
 Martin Quinson <martin.quinson@ens-rennes.fr> <(no author)@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
+Martin Quinson <martin.quinson@ens-rennes.fr> <624847+mquinson@users.noreply.github.com>
 Martin Quinson <martin.quinson@ens-rennes.fr> <martin.quinson@irisa.fr>
 Martin Quinson <martin.quinson@ens-rennes.fr> <martin.quinson@loria.fr>
 Martin Quinson <martin.quinson@ens-rennes.fr> <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
-- 
2.20.1