https://bugs.freedesktop.org/show_bug.cgi?id=93946
--- Comment #31 from Mike C <mike.cloa...@gmail.com> ---
By the way there is the possibility that I might want to use the mic input at
some point without changing the HDMI sound out - so disabling that is not
ideal! And of course at some point plugging in a headset with mic I'd hope
would not require resetting the sound system in order to work also.
--
You are receiving this mail because:
You are the QA Contact for the bug.
You are the assignee for the bug.
_______________________________________________
pulseaudio-bugs mailing list
pulseaudio-bugs@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/pulseaudio-bugs
