Skip to content

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

Pierre Rouxrequested to merge
proux/stdpp:coq_18224 into master

This should be backward compatible

Merge request reports