I think the problem is in the pulseaudio/vlc integration, because sometimes I have to kill pulseaudio after the crash to get sound work well again.
I think the problem is in the pulseaudio/vlc integration, because sometimes I have to kill pulseaudio after the crash to get sound work well again.