Comment 1 for bug 1526561

Revision history for this message
Dmitry Tantsur (divius) wrote :

I would do the latter with $clean_restart_max being pretty big (maybe even calculated based on a number of steps).