Skip to content

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

Pierre Roux requested to merge proux/stdpp:coq_18224 into master

This should be backward compatible

Merge request reports