Thanks for your analysis and suggestion.
I switched to branch scintilla/update-3-20-0, and still got the same error when make.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.