On 06/09/2021 10:09, Michal Orzel wrote:
On 06.09.2021 11:07, Julien Grall wrote:The rest of the patch looks fine. So I would be happy to deal with the fixes on commit:Please do. Thanks.
Pushed. I have also re-wrapped the commit message to 72 characters per line. Cheers, -- Julien Grall
