Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Bugs can be reported to our GitHub issue trackers, mailing lists or (as a last resort) by private mail to email@example.com.
- Check first if an issue about the same subject has already been filed.
- Give accurate description of the problem, including the versions of the software that was used, operating system and other details as appropriate for the report.
- Tickets should be filed in English if possible. Finnish tickets are acceptable for bugs and feature requests in Finnish morphology.