On Mon, Jun 09, 2025 at 11:51:45AM +0200, Jean-Pierre Chrétien wrote: > Any clue?
I think Riki created tarball from a2e8ed884129 (May 25), while your updates came later. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
