> there was a PR to do so #3292, but the contributor **deleted** it A PR's changes can always be recovered by visiting the "patch" URL, whether or not the branch still exists. Go to the PR on GitHub and add `.patch` to the address path, or go straight to the actual resource at <https://patch-diff.githubusercontent.com/raw/geany/geany/pull/3292.patch>
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3111#issuecomment-1607242630 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/3111/[email protected]>
