On Thursday, January 12, 2023 at 5:57:32 AM UTC-6 Edward K. Ream wrote: > The transition to Leo's new website at https://leo-editor.github.io/leo-editor/ will happen later today.
Done! - leoeditor.com redirects visitors to https://leo-editor.github.io/leo-editor/. - I have closed #3019 <https://github.com/leo-editor/leo-editor/issues/3019>. As noted in this issue, there is no need for a corresponding PR. The highlight of Leo 6.7.2 will be new website. Please report any problems 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/0662ca53-4a7a-4daf-9b67-10f5b3d724d3n%40googlegroups.com.