PR #4430 <https://github.com/leo-editor/leo-editor/pull/4430>*might* fix a problem colorizing Python docstrings. It can't hurt(TM).
PRs #4433 <https://github.com/leo-editor/leo-editor/pull/4433> and #4434 <https://github.com/leo-editor/leo-editor/pull/4434> are more consequential. They fix several bugs that affected how Leo updated @clean files. Many thanks to Félix for his superb analysis of the situation and his elegant fixes. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/leo-editor/b944a04f-db30-4b29-8de5-33d218eb2186n%40googlegroups.com.
