On Mon, Jan 20, 2025 at 1:46 PM Félix <[email protected]> wrote:

I'll take a look at those PR soon in order to see which ones can/should be
> also applied to LeoJS.
>

Thanks! #4280 and #4282 are unlikely to affect leoJS.

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/CAMF8tS0DH5jcDWujbapFQhm_CHbkzo%3DtJaxFeEFKDCJUjnQmbA%40mail.gmail.com.

Reply via email to