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