Travis-CI: the previous commit passed, so reverting to make sure that it's really what we need to do.
Travis-CI: the previous commit passed, so reverting to make sure that it's really what we need to do.

If it is really what we need to do, then it would be because of
installing Qt 5 through brew, which now seems to be outputting a lot of
stuff when run through Travis-CI. Could that be due to the recent
release of 5.5.0_1 bottle (see
https://github.com/Homebrew/homebrew/commit/4ea4fd83963d1c1eb1e6fc024be9
719f8010748f)?

mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor