The problem seems to occur some time after the computer comes out of hibernation. If I turn off or restart the machine, the HDMI sound output remains normal.
_______________________________________________ pkg-pulseaudio-devel mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-pulseaudio-devel
