This script also works for me. Like Michael I added a larger sleep duration and execute it as startup app. Will put this script on every of our office PCs. Thanks Martin for sharing this workaround. As already mentioned I'd very much appreciate a real fix coming in the near future.
Wish you all a nice year 2020! -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1834771 Title: No HDMI-audio after kernel 4.15.-0.50 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1834771/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs