diff options
| -rw-r--r-- | .mailmap | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -10,3 +10,7 @@ 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> + +Yves Bertot <yves.bertot@inria.fr> <Yves.Bertot@inria.fr> + +Reynald Affeldt <reynald.affeldt@aist.go.jp> <33154536+affeldt-aist@users.noreply.github.com>
\ No newline at end of file |
