v8.0.1698
1ed00330 · patch 8.0.1698: coverage statistics don't work on coveralls ·