#2220 <https://github.com/leo-editor/leo-editor/issues/2220> is a serious, last-minute, bug, arising from a botched one-line fix, per PR #2172 <https://github.com/leo-editor/leo-editor/pull/2176>.
Rather than trying to patch 6.4 I'll release 6.4.1. Probably tomorrow. 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/ac05a59d-adc3-42f1-8c87-a011647dfb43n%40googlegroups.com.
