Hi,
Pharo11 us now frozen for a while, it seems we are on a good way to release soon.
This is always a good time to clean up the issue tracker.
Please check especially the issues you opend
Github often fails to close the isssue even though it is correctly set as to be closed in the PR.
And often bugs are fixed due to a duplicate issue tracker entry or as part of other work.
As we do not timeout issues anymore, we rely on everyone to help to keep this in a somewhat sane state���
Marcus