feu·vor 5 Jahren·discussClosing an issue shouldn't prevent anyone from finding it though. At least on GitHub closed issues are still visible in the issue tracker.