No matches were found for subject:"Bug#888798\: quick boot changes to 30_os\-prober prevents menu from hiding"