On Saturday, June 17, 2023 at 9:36:25 AM UTC-5 Edward K. Ream wrote: I've merged this branch early for several reasons
I prefer speed over agonizing :-) I want devel to contain the latest code so we can all test it. The devel branch should be safe enough: the new unit tests found more errors in two hours than in the previous four days. Any remaining problems will be fixed in a *small* PR. 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/67637131-e44b-4ff2-a94f-348190069e53n%40googlegroups.com.
