Skip to content

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

Pierre Roux requested 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