Skip to content

Commit

Permalink
Update .mailmap
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross committed Nov 10, 2022
1 parent ab2dc56 commit ceeed43
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .mailmap
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,8 @@ Maxime Dénès <maxime.denes@inria.fr> Maxime Dénès
Maxime Dénès <maxime.denes@inria.fr> Maxime Dénès <maxime.denes@inria.fr>
Mukesh Tiwari <mukeshtiwari.iiitm@gmail.com> Mukesh Tiwari <mukeshtiwari.iiitm@gmail.com>
Mukesh Tiwari <mukeshtiwari.iiitm@gmail.com> mukesh tiwari <mukeshtiwari.iiitm@gmail.com>
Owen Conoly <56445576+OwenConoly@users.noreply.github.com> OwenConoly <56445576+OwenConoly@users.noreply.github.com>
Owen Conoly <56445576+OwenConoly@users.noreply.github.com> Owen Conoly <owenc@mit.edu>
OwenConoly <owenc@mit.edu> Owen Conoly <owenc@mit.edu>
Pierre Letouzey <pierre.letouzey@inria.fr> Pierre Letouzey <pierre.letouzey@inria.fr>
Pierre Roux <pierre.roux@onera.fr> Pierre Roux <pierre.roux@onera.fr>
Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Expand Down

0 comments on commit ceeed43

Please sign in to comment.