I don't have a strong opinion on this either. I agree that we can postpone this until there might raise actual need. But maybe we could close the PR instead and leaving a comment here that it could be resurrected if needed? The list of open PRs is quite long and one has to search for it anyway.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3901#issuecomment-2171429963 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3901/[email protected]>
