[pulseaudio-tickets] [Bug 100064] HDMI output source not remembered

[bugzilla-daemon at freedesktop.org]

https://bugs.freedesktop.org/show_bug.cgi?id=100064

--- Comment #16 from Tanu Kaskinen <tanuk at iki.fi> ---
Created attachment 130075
  --> https://bugs.freedesktop.org/attachment.cgi?id=130075&action=edit
0001-switch-on-port-available-avoid-switching-away-from-p.patch

Here's an untested patch. Are you able to try it out? It's hard for me to test
it, because I don't have similar hardware.

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are the QA Contact for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/pulseaudio-bugs/attachments/20170305/a72d60c8/attachment.html>