Skip to content

Minimal stopping criteria config#1613

Draft
MarcelKoch wants to merge 3 commits intodevelopfrom minimal-stop-config