Yes it is. On Sunday, March 13, 2022 at 7:09:14 AM UTC-4 Edward K. Ream wrote:
> On Saturday, March 12, 2022 at 11:07:20 PM UTC-6 [email protected] wrote: > >> And the new (very simpleminded) leoserver command is: > > > [Snip] > > Thanks for all this work. I spoke with Félix yesterday on zoom about this > issue, among others. I suggested that you and Félix collaborate on this > issue. I would like to stay in the background on this, but I'll be happy > to help as needed. Thomas, is this plan OK with you? > > 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/578f4a3e-e01d-4432-95cd-2e5346b6a256n%40googlegroups.com.
