more robust scheduler shutdown, notably for spurious crashes;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1d6c3cba47fe: unclear why I ever asked for type tree2
- Branches
- Unknown
- Tags
more robust scheduler shutdown, notably for spurious crashes; Tags None Subscribers None
Description
Details
|