On Thu, Mar 12, 2020 at 7:11 AM Edward K. Ream <[email protected]> wrote:

> Today's work attempts a fix for the "new" bug reported in #1527
> <https://github.com/leo-editor/leo-editor/issues/1527>. See the issue for
> a description of the bug.
>
> The new code passes my hand tests, but this is difficult code to test. It
> depends on the history of the cache.
>
> Please report your experiences.
>
> I'll merge the dock2 branch into both the devel and 6.2 branches assuming
> all goes well.
>

Well, it turned out I did today's work in the 6.2 branch. I have just
merged 6.2 into dock2 and devel. Please report any problems in devel, or
dock2 or wherever ;-)

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 view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS17hHRTR0PZakTG89ojGBoD20fzEas5jSv4YEzNdzN1Ag%40mail.gmail.com.

Reply via email to