Mentions légales du service

Skip to content

Adapt w.r.t. coq/coq#15327.

Pierre-Marie Pédrot requested to merge pedrot/itauto:split-tclfail-level into master

See https://github.com/coq/coq/pull/15327, don't merge yet.

Edited by Pierre-Marie Pédrot

Merge request reports