Commit 972fdb6ce3d05cd5b18e6b2696a3f97644f3f4b3

Thomas de Grivel 2025-11-03T16:36:09

configure: fix order of config_have_f80 and config_have_f128