Skip to content

Followup for !1011

Pierre Rouxrequested to merge
proux1/iris:re_1011 into master

Now works with Coq master which prints version 8.19+alpha

Merge request reports