On Tue, Jun 20, 2017 at 09:31:00AM +0200, Rafal Milecki wrote:
Do you know if my name will appear correctly in git ?
I would have almost promised it was going to be OK but it's bogus so
it probably happened during the patch manipulation, thus I'll fix it
before the final release :