Remove 'make coverage', its out of sync, will return later
Merge branch 'master' into builds
7.684