Code coverage results from Travis build 133 pushed to git repository. [ci skip]