Skip to content

Enforce strict bulleting

Tej Chajed requested to merge tchajed/iris-coq:finish-strict-bulleting into master

Finishes the work started in !563 (merged).

Fixes #344 (closed)

Merge request reports