On Friday, June 30, 2023 at 5:04:54 AM UTC-5 jkn wrote: titles like 'The SessionManager will go away' probably cause people to go "what?! Why?! When?!", which might not be what you want...
Hehe. It was exactly what I wanted--to get everyone's attention. I'm particularly glad I got *your* attention. 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/580c7e4d-6486-4e78-a1d0-c31a8a3d09f9n%40googlegroups.com.
