The keys2 branch is complete. Please do test this branch now. At long last it is stable.
Unless bugs are reported against it I shall merge "keys2" into 'devel' this Monday, April 23. I would like to release Leo 5.7.2 a week from today, on Friday April 27. The following bugs must be fixed first: - #863: Serious problems changing branches <https://github.com/leo-editor/leo-editor/issues/863>. - #862: ValueError: list.remove(x): x not in list <https://github.com/leo-editor/leo-editor/issues/862>. 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.
