​ On Thu, Jun 28, 2018 at 3:50 PM Johannes Zarl-Zierl <[email protected]> wrote:
> 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 > > Thanks Johannes, sounds like a very likely suspect! -- Marco
