PR's #1960 <https://github.com/leo-editor/leo-editor/pull/1960>, #1958 <https://github.com/leo-editor/leo-editor/pull/1958>, and #1957 <https://github.com/leo-editor/leo-editor/pull/1957> have been merged into devel. These PR's fix all known bugs in Leo 6.4. Please test devel and report any problems immediately.
I plan no further work on Leo's core until Leo 6.4 final. There are two enhancements presently scheduled for 6.4. Neither will affect Leo's core significantly. 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/2db99872-0c88-4dba-8d78-4e9c358c6ac4n%40googlegroups.com.
