alright, here's the pa debug log where I did a fresh boot, set audio from s/pdif to the hdmi audio output, then put the machine to sleep and woke it, and then set the audio to the other hdmi output device after the system switched them around.
alright, here's the pa debug log where I did a fresh boot, set audio from s/pdif to the hdmi audio output, then put the machine to sleep and woke it, and then set the audio to the other hdmi output device after the system switched them around.