... 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, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany-plugins/pull/1170/c1464128273@github.com>