Commit f0805e52 authored Nov 22, 2019 by Andreas Klöckner

Merge branch 'remove-restart-step' into 'master'

Changes against dagrt!30

See merge request !28