On 01.12.2022 15:32, Julien Grall wrote: > I have finally managed to branch 4.17. The tree is now re-opened.
Does this extend to the 4.17 branch as well? I've committed Anthony's build fix to staging, but wasn't sure about doing the "backport" right away ... Jan
