Hi, since it's been quite some time, I wanted to kindly ask if there's anything holding this PR back from getting merged. I'd still be interested in getting this in.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1237#issuecomment-1915332985 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/pull/1237/[email protected]>
