On Wed, Jan 11, 2023 at 12:57 PM Thomas Passin <[email protected]> wrote:

> Yes, the PR did its job and Leo can start.  And I finally solved the
> problem of the missing en_US dictionary.


Thanks for the update. Glad to hear all is well.

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/CAMF8tS243zrJoEQXjLezFYTWaQofTNg5tE5w7tppif7CsMUOrQ%40mail.gmail.com.

Reply via email to