Re: Leo's new website is live. Leo 6.7.2 coming soon

> This post will be pre-writing for a new info item that tells how to update Leo's website. The first draft is here . All questions and comments are welcome. Edward -- You received this message because you are subscribed to the Google

Re: Leo's new website is live. Leo 6.7.2 coming soon

> GitHub pages now hosts Leo's new website at: https://leo-editor.github.io/leo-editor/ Development is going about as expected: slow but slow :-) This post will be pre-writing for a new info item that tells how to update Leo's website. *Changing links* I have completed the first round of

Re: Leo's new website is live. Leo 6.7.2 coming soon

On Mon, Jan 9, 2023 at 3:11 PM Thomas Passin wrote: > One glitch - Links from the google search box point to the old site, not > the new one. > Good catch! I've added this bug to the checklist for #3019 , so there is no need for a separate

Re: Leo's new website is live. Leo 6.7.2 coming soon

Great! One glitch - Links from the google search box point to the old site, not the new one. On Monday, January 9, 2023 at 1:45:53 PM UTC-5 Edward K. Ream wrote: > GitHub pages now hosts Leo's new website at: > https://leo-editor.github.io/leo-editor/ > > Please test these new pages and report

Leo's new website is live. Leo 6.7.2 coming soon

GitHub pages now hosts Leo's new website at: https://leo-editor.github.io/leo-editor/ Please test these new pages and report any problems! There will be a period of transition, as described in #3019 . To avoid confusion, the new home page