Adapt restart for Snek5000

Merge request reports

Loading