On Monday, October 9, 2023 at 8:52:51 AM UTC-5 Edward K. Ream wrote:
> > I have just changed [the title of issue #3598 <https://github.com/leo-editor/leo-editor/issues/3598>] to "Retire all eval commands". PR #3600 <https://github.com/leo-editor/leo-editor/pull/3600> has been merged into devel. Leo's eval commands are gone for good. 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/4cae0439-8b96-4dca-8fae-b77f146ef5d5n%40googlegroups.com.
