I'll make sure to pull devel and develop/test leoInteg against all that :) -- Félix
( Wish I had more time to get to a version 1.0 faster but hey - it's life! ) On Thursday, November 19, 2020 at 11:44:49 AM UTC-5 Edward K. Ream wrote: > 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/0a48cbc2-2547-4438-92a0-f82b24e58574n%40googlegroups.com.
