On 14/10/2020 12:06, Michal Orzel wrote:
Hi Julien, I agree. You can update the commit message.
Thanks. I have updated the commit message and committed it.On a different topic, it looks like you are sending the e-mail with HTML. Would you mind to configure it to send plain text?
Cheers, -- Julien Grall