I confirm this bug. I had the same problem exactly as described.
Installing "libsdl1.2debian-pulseaudio" and restarting the session solved it.
Thank you!
I confirm this bug. I had the same problem exactly as described.
Installing "libsdl1. 2debian- pulseaudio" and restarting the session solved it.
Thank you!