On Friday, April 23, 2021 at 6:44:32 AM UTC-5 Edward K. Ream wrote:
> This branch completes #1903 > <https://github.com/leo-editor/leo-editor/issues/1903>, with PR #1005 > <https://github.com/leo-editor/leo-editor/pull/1905>. I'll merge the > ekr-1903-path branch into devel in a few days, after I return from a short > vacation. > Done. 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/a1bb2a72-fc50-486a-bc25-9b65e62b8178n%40googlegroups.com.
