Skip to content

opam: require minimum Iris version (fix #2)

Paolo G. Giarrusso requested to merge Blaisorblade/string-ident:patch-1 into master
  • Reflect this change also in Iris's opam repo (done in 1b32f8129acb4c85a32b12237a9baa843b291396).
Edited by Paolo G. Giarrusso

Merge request reports