No matches were found for subject:"Bug#708117\: hal segmentation fault after upgrade"