Skip to content

Followup for !1011

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

Now works with Coq master which prints version 8.19+alpha

Merge request reports