Travis Network Timeout Issue

[dominic]

Pretty sure these issues were side-effects of the network related incidents we had last week. Sorry for the inconvenience.

Please open a new thread if you are still seeing this.

Thanks!