Merge remote-tracking branch 'origin/coverage' into coverage

8 jobs for coverage in 3 minutes and 37 seconds (queued for 2 seconds)