Mentions légales du service

Skip to content

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

Pierre-Marie Pédrot requested to merge pedrot/coq:hint-locality-error into master

Should be backwards compatible.

Merge request reports