Closed tavinathanson closed 7 years ago
Can there be an option to resubmit an entire root node from the Ketrew UI? Maybe another restart button that restarts all child nodes?
Cf. #540.
Can there be an option to resubmit an entire root node from the Ketrew UI? Maybe another restart button that restarts all child nodes?