On Mon, Sep 12, 2022 at 3:39 PM spike <[email protected]> wrote:
> A longstanding pet peeve of mine is that Leo includes the user name in > the gnx string, so I patched it to use UUIDs instead. I don't know if > anyone else cares enough to warrant including this upstream, but I've > created a PR (#2843) in case anyone is interested. > I care, and I want to retain the user ids. 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/CAMF8tS3fGZ0W26vOkxq2YSVzXnFfcAHgVf0heHcX0Vaqm7kaHA%40mail.gmail.com.
