No matches were found for subject:"Bug#605353\: Bug#605111\: gnome\-session does not allow to use gnome splash screen but package gnome\-splashscreen\-manager does"