On 03.12.2025 22:02, Julien Grall wrote:
> I agree. Do we need to include the fix in 4.19 (I think Jan asked to cut 
> it tomorrow)? Thanks for sending the patch!

Too late for 4.19.4 now, but 4.19.5 can still get it once ready.

Jan

Reply via email to