On 8/14/26 17:10, Adrian Mönnich wrote:
> Hi,
>
> ping - any updates on this bug report?
>
> Cheers,
> Adrian
>
Sorry, I don't think anyone took care of fixing this, due to the work
with stabilizing 19 and handling an influx of other reports.
I'll try to investigate this issue again sometime next week, once I get
back home from travel. At this point it's too early to say if we will
backpatch the fix - we'll certainly try to, but it depends on how
invasive the fix happens to be.
regards
--
Tomas Vondra