Closed gedankenstuecke closed 5 months ago
This closes #607, which is part of the usability improvements 🙂
This PR does not seem to contain any modification to coverable code.
Huge thanks to @helendduncan for discovering some bugs that were fixed in b3df8a7 :-)
This closes #607, which is part of the usability improvements 🙂