Skip to content

proof-state recorder tweaks and fixes

Björn Brandenburg requested to merge bbb/prosa:proof-state-rec-fixes into master

These patches are already part of !114 (merged), but split out here to move ahead without waiting for the other parts !114 (merged) to be revised first.

Merge request reports