On 2023-10-18 at 12:50, dco...@gmail.com 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 !
