Travis build 3139 pushed to gh-pages