On Mon, Jan 9, 2023 at 3:11 PM Thomas Passin <[email protected]> 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 <https://github.com/leo-editor/leo-editor/issues/3019>, so there is no need for a separate issue. 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0AFpPwu4CRyvkS%2BuHeTU-qfgQu_yOXE3Eo1ogPaTjNKQ%40mail.gmail.com.
