diff options
| author | Cyril Cohen | 2020-12-04 10:29:16 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-04 10:29:16 +0100 |
| commit | 7da602fb704b0f2286876f267b84a120d18dbed9 (patch) | |
| tree | 8f4ad24e22b5c352bae1cfe7cdc9af17f3c675bc /.mailmap | |
| parent | 59ea10f20602f7951e1794718dba3c830b0aefe2 (diff) | |
| parent | 3a758716af65299bd87cb682f93331794ba31c43 (diff) | |
Merge pull request #679 from CohenCyril/mailmap
adding entries to the mailmap
Diffstat (limited to '.mailmap')
| -rw-r--r-- | .mailmap | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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> |