Commit 9dabfb425daae0a3a3707f45d5d8ad9de0107d81

Thomas de Grivel 2025-11-03T16:13:46

fix configure HAVE_F80