On Fri, Nov 15, 2024 at 7:43 AM Thomas Passin <[email protected]> wrote:
>> This is one of the most mysterious bugs in Leo's history. > I wonder if you checked out a version of devel, or an earlier release branch, from before you started changing the colorizer. We'll never know. Happily, I'm now on top of the situation. 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 visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS3F3944Kq26ZUq2A064%2B92MB%3Dt%3D9NW4VfyO4CuiDAEfZQ%40mail.gmail.com.
