No matches were found for subject:"Bug#712512\: HL1250 now seems to be ok"