On Saturday, July 22, 2023 at 7:25:11 AM UTC-5 Edward K. Ream wrote: The to-do list for Leo 6.7.4 <https://github.com/leo-editor/leo-editor/issues?q=is%3Aissue+milestone%3A6.7.4+is%3Aopen> now contains four interrelated issues, none of them straightforward.
I am going to use single PR for #3446 <https://github.com/leo-editor/leo-editor/issues/3446>, #3452 <https://github.com/leo-editor/leo-editor/issues/3452>, and #3453 <https://github.com/leo-editor/leo-editor/issues/3453>. This unusual plan: - Ensures fixes for each issue work for the others. - Avoids git merge problems. 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 on the web visit https://groups.google.com/d/msgid/leo-editor/d93b4b0f-9439-476e-9f2f-5e324f90c65dn%40googlegroups.com.
