We have 10 days to test the big PR. I expect no significant problems. The remaining issues on the 6.7.4 list <https://github.com/leo-editor/leo-editor/issues?q=is%3Aissue+milestone%3A6.7.4+is%3Aopen> are optional.
Otoh, I'll delay the release if unexpected problems arise. There is no rush. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/37c7bab6-9fcd-4380-8313-83fefcccebf9n%40googlegroups.com.