OK, I've just merged this PR so we are finally done with it. @Skif-off thanks for your contribution and for your patience!
> @techee sure, that'd be fine as well (although it'd probably get forgotten > for a decade or two until somebody notices it from scratch again) @b4n I'm going to do it right now so we don't forget. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1752#issuecomment-1510434855 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/1752/[email protected]>
