FWIW,

I've tested r12374 and my initial tests show that this issue
seems to be solved.

I'll test it more during the next week, but so far it looks
good.

Thanks for your excellent work Ian and Bastian!

Best Regards,
/LM




--
To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org