PR #3277 <https://github.com/leo-editor/leo-editor/pull/3277> proposes significant changes to Leo's path-related code.
I have asked Félix and Thomas for reviews, without recent results. Perhaps they are reluctant to comment, which is understandable given the scope of the changes. I'll take full responsibility for any problems that may arise. I am asking only for reviews, of any kind. Imo, this PR should be merged into devel soon, so we may thoroughly test it before Leo 6.7.3, due next month. 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/94fa5df1-4b47-4d85-8292-336328f18a75n%40googlegroups.com.
