PR #3828 <https://github.com/leo-editor/leo-editor/pull/3828> has been merged into devel.
All known bugs have been fixed and Leo should continue to work as before. Please report any problem immediately. 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/26feaf0a-d29d-483c-98f5-7f43c23af1c8n%40googlegroups.com.