Great, so I've just re-pushed the squashed version in case someone wants to have a look at it. I'll merge it tomorrow (well, actually later today) but feel free to merge it earlier if you want.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3049#issuecomment-1765411983 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3049/c1765411...@github.com>