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 pkg-pulseaudio-devel@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-pulseaudio-devel