Ah, OK, I noticed this PR only after merging https://github.com/geany/geany-plugins/pull/1315 which eliminates some more warnings including this one.
So I'm closing this and https://github.com/geany/geany-plugins/issues/1297. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1298#issuecomment-2002625366 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/pull/1298/[email protected]>
