Just now I merged my last branch into devel. This page <https://github.com/leo-editor/leo-editor/pulls?q=is%3Apr+is%3Aclosed+milestone%3A6.4> lists the PR's for Leo 6.4.
Please report any new problems immediately. For the next several weeks I shall do work on Leo only if significant bugs are reported. It's time to focus on sabbatical studies. Edward P.S. I have no plans to release Leo 6.3.1. As usual, devel is in better shape than the latest official release. EKR -- 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/6d36d806-7196-4df3-9d4a-787621966b7bn%40googlegroups.com.
