giuspen left a comment (geany/geany#4361) That is fine for me Enrico but I suspect that must be already in the master branch, then I don't know how it works if the pull requests is exactly on the workflow, do you want me to create a separate PR on master?
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4361#issuecomment-3037007414 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4361/[email protected]>
