Bug#859017: pulseaudio: switch-on-port-available picks unavailable device port

[Vivek Das Mohapatra]

On Wed, 29 Mar 2017, Felipe Sateler wrote:

> Could you forward this issue upstream to
> pulseaudio-discuss at 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?