Am Montag, dem 19.12.2022 um 18:00 -0500 schrieb Richard Kimberly Heck: > Excellent! I am going to guess that this will significantly speed up > configure.
A bit at least (we hadn't had too many of these version tests yet, but they will certainly get more). -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
