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/c1915332985@github.com