gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
PR gas/10039 * configure.ac: Require texinfo 4.7. * configure: Regenerated.
PR gas/10039 * configure.ac: Require texinfo 4.7. * configure: Regenerated.