Skip to content

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

Pierre Roux requested to merge proux1/iris:coq_14928 into master

This should be backward compatible and can be merged at any time before the upstream PR.

Merge request reports