Skip to content

update test-normalizer: remove old cruft, add Ltac2 printing change

Ralf Jung requested to merge jung/iris:test-normalizer into master

Merge request reports