Skip to content
Snippets Groups Projects

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

Merged Adapt to https://github.com/coq/coq/pull/18224
proux/stdpp:coq_18224 into master
Merged Pierre Roux requested to merge proux/stdpp:coq_18224 into master