No matches were found for subject:"Bug#748971\: vlc crashes when trying to open preferences or trying to display the playing list"