On Thu, Jul 6, 2023 at 8:28 AM jkn <jkn...@nicorp.f9.co.uk> wrote: By 'devs', do you mean, erm ... 'users' ? >
I meant anyone who commits code to Leo's code base. The harmful effects of copy-node/paste-node would also apply to *other* devs, that is, anyone who commits code to any *other* code base. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS1uMG-4Ja2dOFrCNKNTSimLNEj-szuNidT0zDL3Tnh_kA%40mail.gmail.com.