Skip to content

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

Pierre Rouxrequested to merge
proux/stdpp:coq_18928 into master

Adapt output tests to upstream PR on Coq https://github.com/coq/coq/pull/18928

Merge request reports