Skip to content

always add Proof. after Restart.

Ralf Jungrequested to merge
ralf/restart into master

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

Merge request reports