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