Mentions légales du service

Skip to content

Adapt to https://github.com/coq/coq/pull/18164

Pierre Roux requested to merge coq_18164 into master

Adapt to https://github.com/coq/coq/pull/18164

Don't know how this works in terms of backward compat but CI will tell.

Merge request reports