Commit 252d3554 authored by Eric Bruneton's avatar Eric Bruneton

Add a .mailmap file to correctly group commits by author.

parent dadb41c1
Pipeline #423 passed with stage
in 10 minutes and 23 seconds