Mentions légales du service

Skip to content

Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool)

GILBERT Gaëtan requested to merge ggilbert/itauto:depr-versions into master

Merge request reports