On 2022-09-12 15:39, Edward K. Ream wrote: > 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 > Fair enough.
-- 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/7711c703-146b-038f-696b-a6e0c60ff2f9%40runbox.com.
