bugnumber #712263 received from debian