No matches were found for subject:"Bug#762478\: redundant desktop selection"