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/5fdc2d3d-d18e-4095-9002-373078e06ad2n%40googlegroups.com.
