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