Closed andy-maier closed 7 months ago
For details, see the commit message. No review needed.
coverage: 37.115%. remained the same when pulling 3d7134896c6660bad531ce823918e3ac5493c2f8 on andy/safety-3.0 into df0784581e26ec573f61ed1de7a14ebebb364f76 on master.
For details, see the commit message. No review needed.