Workaround for now : in a terminal execute `pulseaudio -k -D` and it will rescan and detect the HDMI output.
_______________________________________________ pkg-pulseaudio-devel mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-pulseaudio-devel
