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