@techee merging as is is fine here I think, the history could be cleaned but it's not bad either. So I'd rather not worry about squashing smartly, which might prove harder than necessary.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3861#issuecomment-2161693035 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3861/[email protected]>
