use redmine and mailing list to report bugs