I have already deleted this branch on my machine. I was fully merged into devel.
Imo, it would be best to base any new work on devel, *not* the present settings branch. I'll keep the settings branch until I hear from you. 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/46525825-b3a7-4083-9771-e56c879c219d%40googlegroups.com.
