Try fixing Travis build#666

Merged

ilevkivskyi merged 5 commits into

Aug 10, 2019

Commits on Aug 7, 2019

Try fixing Travis build
ilevkivskyi
authored
Another attempt
ilevkivskyi
authored
Fix lint (that was not run for looong time)
Ivan Levkivskyi
committed
One more attempt at fixing
Ivan Levkivskyi
committed

Commits on Aug 10, 2019

Address CR
ilevkivskyi
committed