From 3a758716af65299bd87cb682f93331794ba31c43 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 26 Nov 2020 12:04:28 +0100
Subject: adding entries to the mailmap

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

diff --git a/.mailmap b/.mailmap
index 00c8819..5e7eb8d 100644
--- a/.mailmap
+++ b/.mailmap
@@ -16,4 +16,8 @@ Yves Bertot <Yves.Bertot@inria.fr> <yves.bertot@inria.fr>
 
 Reynald Affeldt <reynald.affeldt@aist.go.jp> <33154536+affeldt-aist@users.noreply.github.com>
 
-Simon Boulier <simon.boulier@ens-rennes.fr>
\ No newline at end of file
+Simon Boulier <simon.boulier@ens-rennes.fr>
+
+Christian Doczkal <doczkal@ps.uni-saarland.de> <christian.doczkal@inria.fr>
+
+Laurent Théry <Laurent.Thery@inria.fr> <thery@sophia.inria.fr>
-- 
cgit v1.2.3