On Monday, October 12, 2020 at 3:20:35 PM UTC-5, Edward K. Ream wrote: We have had a chaotic day, with branches improperly merged into each > other. This has created a right mess. > > *Please *do not push any commits anywhere except your own private > branches. >
I have made substantial progress untangling the mess. It will likely take several more hours of work to be sure that everything is as it should be. Please continue to hold all commits to my branches. I'll let you know when devel is back open. 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/fbe1b614-62ff-4ce9-9458-bbcedb65d768o%40googlegroups.com.
