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.
** Attachment added: "pa.log.xz" https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1888598/+attachment/5396787/+files/pa.log.xz -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1888598 Title: pulseaudio has is buggy with hdmi audio and sleep/wake To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1888598/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
