No matches were found for subject:"Bug#873749\: marked as done \(gnome\-user\-docs conflicts with gnome\-user\-guide\)"