Running Debian, 64-bit Unstable, Cinnamon DE, on laptop.
Not very knowledgeable about sound stuff.
Sound okay last night.
Today did updates, no sound at all. (When in doubt, blame updates.)
Cinnamon sound settings applet shows "Dummy Output" as only output device, instead of "Speakers" as previously.
What to check?