v8.0.1700
56f99550 · patch 8.0.1700: coverage statistics still don't work on coveralls ·