Le 20/10/2024 à 23:50, Richard Kimberly Heck a écrit :
I tried to cherry-pick it but got a merge conflict. So I'll let you do it.
I finally reverted it, so it will be even easier :) JMarc -- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
