Am Donnerstag, 28. Juni 2018, 23:43:41 CEST schrieb Marco Paolieri:
> By the way, the reason he updated is that sound wasn't working anymore
> (only "dummy output" instead of onboard card).
Only picking up on this part - your user might have been bitten by this bug:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=901148