I have just created the 5.7.2 branch containing the candidate code for Leo 5.7.2.
For testing purposes, the 5.7.2 branch is equivalent to devel. The only changes to the 5.7.2 code base will be bug fixes, which will then be merged back into devel. As a result, the devel branch remains open to further changes. Bugs continue to be reported against the new key-handling code, so extended testing is necessary. The new release date for Leo 5.7.2 is Friday, May 4. That date will slip further if more key-related or caching bugs appear. 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 post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
