Code coverage results from Travis build 72 pushed to git repository.