giuspen left a comment (geany/geany#4238) I understand the difference Enrico, there's no need for now to merge the two jobs as anyway it's easy to compare and sync the two with a tool such as meld. I shall try to study better these in the next days as so far I have been struggling with too many things to do :(
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4238#issuecomment-2661557300 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4238/[email protected]>
