Travis pushed coverage of 72d4124f72cc9f52d527ec6555380a5030b75ee0@master to gh-pages