Good news: Comment #8 is wrong.
I forgot that I had already released a new PulseAudio (v12.x) into Ubuntu 18.10 with libsoxr support enabled. So the fix is already in Ubuntu 18.10.
Good news: Comment #8 is wrong.
I forgot that I had already released a new PulseAudio (v12.x) into Ubuntu 18.10 with libsoxr support enabled. So the fix is already in Ubuntu 18.10.