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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
