-
Guillaume Melquiond authored
As a side effect, provers-detection-data.conf no longer needs to be preprocessed.
e4a44aed
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
As a side effect, provers-detection-data.conf no longer needs to be preprocessed.