Closed andy-maier closed 1 month ago
For details, see the commit message. No review needed.
coverage: 82.532%. remained the same when pulling c2d236d222cc4064b2520f08fe849eedd485f769 on andy/relax-safety-fails into cd3b3ca56267b0e769bedb09821e8882a8f7c642 on master.
For details, see the commit message. No review needed.