On Sunday, March 20, 2022 at 5:37:30 AM UTC-5 Edward K. Ream wrote: Heh. I have found add two new minor issues > <https://github.com/leo-editor/leo-editor/issues?q=is%3Aissue+is%3Aopen+milestone%3A6.6>. > > I should finish them in a day or two. >
Two new PRs fix these issues. The PRs have been merged into devel. 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/333302ab-25b2-4eeb-bc94-ed2874eb2820n%40googlegroups.com.
