Closed andy-maier closed 7 months ago
For details, see the commit message. No review needed.
coverage: 37.115%. remained the same when pulling b5cd6ded26a6bf43e652ce5d03b601e3451688a0 on andy/add-authors into b46358fbee5704d28b199be08f93879a85d96582 on master.
For details, see the commit message. No review needed.