No matches were found for subject:"Bug#407455\: marked as done \(vlc\: segfaults on quit if stream is still playing\)"