This will prevent problems as I prepare for Leo 6.0 final. As always, you can continue working by working in a branch based on 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/09061fd9-aa3b-48e1-befb-36dfefbaece9%40googlegroups.com.