On Wed, 29 Mar 2017, Felipe Sateler wrote:
Could you forward this issue upstream to pulseaudio-disc...@lists.freedesktop.org ? This looks like something that should be fixed upstream.
I've already filed https://bugs.freedesktop.org/show_bug.cgi?id=100451 Is that good enough or should I also ping the list?