Closed gedankenstuecke closed 5 months ago
Fixes #673
This PR does not seem to contain any modification to coverable code.
Fixes #673