techee left a comment (geany/geany#4510) > Yes, see https://github.com/universal-ctags/ctags/pull/4376 and > https://github.com/universal-ctags/ctags/pull/4380.
Great, I think the PR can be merged as it is then. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4510#issuecomment-3980667652 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4510/[email protected]>
