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 pas
Did a pass. Thank you for the reminder Marcus.
Noury
On Oct 5 2023, at 2:16 pm, Marcus Denker wrote:
> 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 close
