Unfortunately we lost all changes in the bug tracker between Oct. 22nd and Oct. 29th due to a hardware failure.

I'm sorry for the inconvenience. Please check your reports.

Best regards,
Karsten