On Thursday, November 12, 2020 at 2:15:59 PM UTC-6 Edward K. Ream wrote: > > This branch contains work for #1731 > <https://github.com/leo-editor/leo-editor/issues/1731>. PR #1732 > <https://github.com/leo-editor/leo-editor/pull/1732> is the corresponding > PR. >
I have just merged the ekr-tabs branch into devel. Please report any problems immediately. 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/286648dc-7594-4caf-9caa-1759dfaf112dn%40googlegroups.com.
