The latest merges seem to be green again without any extra patch so it was probably a glitch on the github side.
Which doesn't mean that #4208 shouldn't be merged - no comments from me as I don't know anything about this stuff :-) -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/4206#issuecomment-2616388023 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/4206/[email protected]>
