est31 5643b9b9ed Make travis work again
Now we do sudo apt-get update to download package sources.
This fixes travis build with the new GCE based infrastructure.

Closes #3427.
Closes #3426.
2015-12-05 18:01:01 +01:00
..
2015-12-05 18:01:01 +01:00
2015-03-27 15:00:48 -04:00