You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
Scintilla 5.1.2 is imminent. I'm currently planning to migrate to that in a separate PR if that's OK, so that this PR can be merged earlier and the 5.1.{1 -> 2} diff can be treated on its own.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.