Headphone output dead after 17.04 to 17.1 upgrade

I upgraded 17.04 to 17.1 and now plugging my external speaker into the headphone socket yields silence. The laptop speakers are working fine. No errors reported by Pulse. Any ideas, anyone?

Take a look here: https://askubuntu.com/questions/934488/headphones-muted-after-startup/998825#998825

That’s it, problem solved. Thanks a lot, Bento2000!

PS - another inexplicable default; hope it gets fixed