@kugel- @elextr should we include the patch from https://groups.google.com/g/scintilla-interest/c/_tiE_nSaiG4/m/v0e8lzTjAQAJ here?
I'd say yes because the next Scintilla release might be after the upcoming Geany release and the issue might also affect Geany users. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3551#issuecomment-1744977623 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3551/[email protected]>
