No matches were found for subject:"Bug#700896\: cinnamon doesn't show up in wdm's window\/session manager list"