On Thu, Jun 29, 2023 at 4:41 PM Thomas Passin <[email protected]> wrote:
> Even though I dislike PRs that are very complicated and try to do too many > things, I have to agree in this case. > Thanks :-) 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/CAMF8tS3fsw22JKuM4rYxOJvL%2BZcFzthYzCC8aF-L7s5hvMQ_1Q%40mail.gmail.com.
