minor .mailmap change

master
Gabriel Scherer 2017-12-23 00:13:30 +01:00
parent c7b788ddd1
commit 67b235ca55
1 changed files with 1 additions and 0 deletions

View File

@ -27,6 +27,7 @@ Damien Doligez <damien.doligez@inria.fr> doligez <damien.doligez@inria.fr>
Mohamed Iguernelala <mohamed.iguernelala@gmail.com>
Jérémie Dimino <jdimino@janestreet.com>
Jeremy Yallop <yallop@gmail.com> yallop <yallop@gmail.com>
Nicolás Ojeda Bär <n.oje.bar@gmail.com>
# The aliases below correspond to preference expressed by
# contributors on the name under which they credited, for example