Hi,
Please check the issue tracker.
Often when a bug is fixed, you might even think “YES! the bug I reported is now
fixed” and you naturally assume that your issue therefore was closed.
But that is not always the case.
- people forgot to link PRs to the issues
- gitub in the
Hi,
The issue tracker has a bit the problem that outdated issues are never cleaned
- sometimes PRs are merged but the issue is not closed because it was never
connected to the PR
( github sometimes just does not do it correctly )
- Duplicated reports, bug is fixed but the other issue