diff options
| author | Cyril Cohen | 2020-06-09 16:16:17 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-09 16:16:17 +0200 |
| commit | 7d2443e9da45c081189c58722f963f8fa3bcd157 (patch) | |
| tree | 0564ec1574e911d75abc99315738b89811c4951d /.mailmap | |
| parent | a54978b435bcf4c22449e10bdd4da0f43b4592b6 (diff) | |
mailmap for Yves and Reynald
Diffstat (limited to '.mailmap')
| -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 |