From b1561523a76c851c864f16840f8b0db9dfe20cfe Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 8 Apr 2019 18:08:38 +0200
Subject: update mailmap

---
 .mailmap | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.mailmap b/.mailmap
index 87f1ee6..81fb125 100644
--- a/.mailmap
+++ b/.mailmap
@@ -5,3 +5,8 @@ Assia Mahboubi <Assia.Mahboubi@inria.fr>	<assia.mahboubi@inria.fr>
 
 Cyril Cohen <Cyril.Cohen@inria.fr>	<barbichu@crans.org>
 Cyril Cohen <Cyril.Cohen@inria.fr>	<cohen@crans.org>	
+Cyril Cohen <Cyril.Cohen@inria.fr>      <CohenCyril@users.noreply.github.com>
+
+Kazuhiko Sakaguchi <sakaguchi@coins.tsukuba.ac.jp> <pi8027@gmail.com>
+
+Laurence Rideau <Laurence.Rideau@inriafr> <LaurenceRideau@users.noreply.github.com>
-- 
cgit v1.2.3