-
Check if the bug was not already reported by searching Issues.
-
Open a new issue. Be sure to fill out the bug template.
-
Open a new GitHub pull request.
-
Ensure the PR description clearly describes the problem and solution. Include the related issue number if applicable.