Coverage remained the same at 100.0% when pulling 5c5310fd2237149394742f01e9ab8cc5392cc047 on fix-travis into 0a91990ba144e512f7d4e16b6e0cad8ff5e86889 on master.
Coverage remained the same at 100.0% when pulling 10734b00d6676c546bbb46626464da527e9b7a0e on fix-travis into 0a91990ba144e512f7d4e16b6e0cad8ff5e86889 on master.
Forgot to update deploy script.