On 2023-10-18 at 12:50, [email protected] wrote : > The fix for this specific problem is ok, but here's a patch incorporating > all the relevant bugfixes from the Debian package:
Many thanks to both of you. I just tested David's patch : no more crashes !
