> Should I file a bug report somewhere else for that?
https://bugs.freedesktop.org/enter_bug.cgi?product=PulseAudio
> Should I file a bug report somewhere else for that?
https:/ /bugs.freedeskt op.org/ enter_bug. cgi?product= PulseAudio