diff options
| author | Enrico Tassi | 2019-04-08 18:08:38 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-04-08 18:08:47 +0200 |
| commit | b1561523a76c851c864f16840f8b0db9dfe20cfe (patch) | |
| tree | fb6ed07c70cd26e723235af55bfb6b6dff2080b0 | |
| parent | 9b8d64cd93474c48200c06ac0e5c3da62fbf915b (diff) | |
update mailmap
| -rw-r--r-- | .mailmap | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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> |