No matches were found for subject:"Bug#825520\: closed by Maximiliano Curia <m...@debian.org> \(Re\: Bug#825520\: plasma\-desktop\: fonts in kde application launcher have wrong size\)"