On Tuesday, September 24, 2019 at 4:34:19 AM UTC-5, Edward K. Ream wrote: > > > > On Mon, Sep 23, 2019 at 5:56 PM SegundoBob <[email protected]> wrote: > >> *I think the bug is in Leo-Editor* >> > > Please file a new issue. >
In the new issue, please pretend I know nothing of the old issue and its long history. That is, please summarize the what is know as succinctly as you can. It will also help me if you could edit the first comment as new data or ideas become available. That way I won't have to wade through new batches of comments. 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/6e7c230a-c0c8-41fa-a0bd-a4b2c53e86a6%40googlegroups.com.
