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
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