adding entries to the mailmap

1 files changed, 5 insertions, 1 deletions

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>