It looks like this crash was fixed in PulseAudio 12.0 (Ubuntu 18.10) by commit 9e5be0899f60208046f1c5e2d32a2dd207d8fa00.
It looks like this crash was fixed in PulseAudio 12.0 (Ubuntu 18.10) by commit 9e5be0899f60208 046f1c5e2d32a2d d207d8fa00.