On Tuesday, September 28, 2021 at 5:44:00 AM UTC-5 Edward K. Ream wrote:
> On Mon, Sep 27, 2021 at 9:47 PM Jacob Peck <[email protected]> wrote: > >> Agreed — IMO they should be removed. >> > > Will do. I had forgotten all about this page. > See #2244 <https://github.com/leo-editor/leo-editor/issues/2244>. This may have to wait until I get back from vacation. 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/a49dcffa-7881-4c98-8ebb-01bf312cd3c2n%40googlegroups.com.
