This should be fixed in the latest Raring kernel (3.8.0-18.28).
http://kernel.ubuntu.com/git?p=ubuntu/ubuntu-
raring.git;a=commit;h=22c0bc2801540b486dd89db7abba99790a6ec876
** Changed in: pulseaudio (Ubuntu)
Status: New => Fix Released
** Package changed: pulseaudio (Ubuntu) => linux (Ubuntu)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/961286
Title:
HDMI audio device detected by the system but not listed in Sound
Settings
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/linux/+bug/961286/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
