force travis restart

This commit is contained in:
rgarcia
2016-06-17 15:47:23 +02:00
parent 74282bb0d7
commit 18354587ab