minor .mailmap additions

master
Gabriel Scherer 2020-11-19 14:03:44 +01:00
parent 3f1c3bed3e
commit 547f9b8126
1 changed files with 13 additions and 2 deletions

View File

@ -28,10 +28,21 @@ 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>
Jérémie Dimino <jeremie@dimino.org>
Jérémie Dimino <jeremie@dimino.org> <jdimino@janestreet.com>
Jeremy Yallop <yallop@gmail.com> yallop <yallop@gmail.com>
Nicolás Ojeda Bär <n.oje.bar@gmail.com>
Nicolás Ojeda Bär <n.oje.bar@gmail.com> <nicolas.ojeda.bar@lexifi.com>
François Pottier <francois.pottier@inria.fr>
Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr>
Frédéric Bour <frederic.bour@lakaban.net>
Frédéric Bour <frederic.bour@lakaban.net> <def@fb.com>
Armaël Guéneau <Armael@users.noreply.github.com>
Armaël Guéneau <Armael@users.noreply.github.com> <armael.gueneau@ens-lyon.fr>
Armaël Guéneau <Armael@users.noreply.github.com> <armael@isomorphis.me>
Edwin Török <edwin@etorok.net>
Edwin Török <edwin@etorok.net> <edvin.torok@citrix.com>
Edwin Török <edwin@etorok.net> <edwintorok@users.noreply.github.com>
### Approved Approvers