Comment # 6 on bug 916048 from Troels Just

(In reply to Takashi Iwai from comment #5)
> (In reply to Troels Just from comment #4)
> > I also tried testing this with my TV and DisplayPort, however the newer
> > version of PulseAudio introduces a new problem in regard to this.
> > DisplayPort Audio seems to be broken with 6.0-RC3.
> 
> Could you report it to PulseAudio upstream?

To make sure, I gave it another try, and now it seems to fine fine. I guess
maybe, something had gotten out of wack when testing it together with the mixer
switching and so on. So false alarm on this one, sorry about that.

So with that cleared, any idea on how to proceed in regard to the original
issue we were discussing?