On Monday, April 10, 2023 at 8:04:23 AM UTC-4 Edward K. Ream wrote: The fix appears to be straightforward, but it points out the folly of rushing to release major changes.
+10! -- 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/82d69f1f-9877-42b7-82f2-9031c8d5a807n%40googlegroups.com.