On Fri, Aug 21, 2020 at 07:54:13AM +0200, Pierre Giraud wrote:> It looks good to me too. Thanks a lot!> Let's not forget to notify Hubert (depesz) once integrated.
Thanks a lot, and sorry for not responding earlier - vacation.
Best regards,
depesz