> After resolving the merge conflict, I think we are good to merge. Done. For merging, I'd just squash the commits into one.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3977#issuecomment-2486875696 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3977/[email protected]>
