On Friday, July 28, 2023 at 9:27:28 AM UTC-5 Edward K. Ream wrote: > I have just merged the unified PR into devel. This merge will require some cleanups.
Done at rev d5d3a2 <https://github.com/leo-editor/leo-editor/commit/d5d3a28a453f5250d475ff717c8c76283fbf1c85> in devel. This rev suppresses the new vnode checks and skips several new unit tests that would otherwise fail. Please keep testing devel :-) 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/37b6776c-1a5f-436e-84ce-f86a542489can%40googlegroups.com.
