On Thursday, October 5, 2023 at 4:57:18 PM UTC-5 Edward K. Ream wrote: Leo 6.7.5 is coming October 20. I want to leave plenty of time for testing three recent PRs:
I'm going to pause all work on Leo until Félix has a chance to catch up recent changes. Of course, I'll fix quirps as they come along. 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/1e8c40dd-f631-43ac-b480-2e27b4ce79f5n%40googlegroups.com.
