We’ve setup a public bugtracker and suggest that you report any bugs there. This is more convenient to track then the Google groups.

To go to the new bugtracker, click “Report a bug” on the left.