On Friday, November 15, 2024 at 5:06:43 AM UTC-6 Edward K. Ream wrote: *Summary*
- I shall merge a new PR later today. There is no guarantee that this PR is rock solid. - My investigations continue. A new ENB will discuss my conjectures and plans. I have just created PR #4182 <https://github.com/leo-editor/leo-editor/pull/4182>for the emergency fix. It's a draft for now. I plan to merge this PR tonight or tomorrow. Rather than writing an ENB, I have recorded my thoughts in the PR itself. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/leo-editor/70c61515-c61d-4fcf-9a51-96eb9fa4f581n%40googlegroups.com.
