> ... IIRC @avafinger applied changes manually, it would be nice for someone to > test the PR explicitly.
Sure. However, as you probably could see, the changes are very much limited, so applying manually should be just as effective. Of course, I did the testing of the issue, as I described above. It's been almost a year since this issue is in DONE state. Is there something that I could do to get this finally merged? -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1170#issuecomment-1464128273 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/pull/1170/c1464128...@github.com>