minor .mailmap change

master
Gabriel Scherer 2016-07-14 13:49:22 -04:00
parent b8b9e0cbe6
commit 005ba9ac56
1 changed files with 1 additions and 0 deletions

View File

@ -24,6 +24,7 @@ cvs2svn <no_author@ocaml.org>
Damien Doligez <damien.doligez@inria.fr> Some Name <some@name.com>
Damien Doligez <damien.doligez@inria.fr> doligez <damien.doligez@inria.fr>
Mohamed Iguernelala <mohamed.iguernelala@gmail.com>
Jérémie Dimino <jdimino@janestreet.com>
# The aliases below correspond to preference expressed by
# contributors on the name under which they credited, for example