Fix travis?

This commit is contained in:
Arturo Filastò 2018-09-07 13:09:50 +02:00
parent ecd45ec52a
commit ecb1cd604e