Skip to content

always add Proof. after Restart.

Ralf Jung requested to merge ralf/restart into master

We did this in Iris, we should also do it here.

Merge request reports