Am Samstag, dem 05.07.2025 um 13:43 +0200 schrieb Pavel Sanda: > it does not mean you should feel responsible for the bug.
I didn't understand it that way, just wasn't sure which you had in mind. > At the moment I see #12374 #12394? IMO this should be postponed, but it's Riki's call. > (and obviously #13009 ;) Yes. Normally, I'd opt for postponing as well. But then, we promised to do something for so long, and it would be a rather trivial change. Except that it requires a format change. I could probably do it very quickly. Let's see what Riki has to say about it. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
