# fix weird bug
# see https://coveralls.zendesk.com/hc/en-us/articles/201342479#random
service_name: travis-ci

# fix weird bug
# see https://coveralls.zendesk.com/hc/en-us/articles/201342479#random
service_name: travis-pro

Revert "hopefully fix problem where Travis-CI can't submit coverage data"
Revert "hopefully fix problem where Travis-CI can't submit coverage data"

This reverts commit 9f7d898069d4f9ad478cd9c6deb76b7fa0b089bd.
