On Thu, Jul 05, 2018 at 08:53:50AM +0100, Quentin Perret wrote:> Is there anything else I should do for this patch ?Pinging me was the right thing. Have it now, much thanks!