[resending with the correct recipients] Hi John,
thank you for taking the time to report this bug and help make Debian better. I’m not able to reproduce the bug that you describe here, neither on the former 18.04.0-3 version nor on the new 19.08.3 that I’ve just uploaded to unstable. Would you have the possibility to test again and comment here with more information if the crash is still reproducible ? Thanks & happy hacking ! -- Aurélien
