On Fri, Mar 9, 2018 at 6:05 PM, Gregory CLEMENT <gregory.clement at free-electrons.com> wrote: > > mailmap: Update email address for Gregory CLEMENT (2018-03-09 17:48:50 +0100) Pulled into fixes, thanks! Arnd