We migrated the website, the repositories and the bug tracker to Github. If you reported a bug in the past, we humbly request you to report it anew on Github. Thanks.