removed deprecated option for Travis (#6896)
parent
b91874454d
commit
3e20697a33
Loading…
Reference in new issue