Commit dfbf791db6aac27fedfd431e2fbfd697d71dc053

Edward Thomson 2018-08-30T21:53:58

ci: remove travis (cherry picked from commit 6fc946e87025f22315c481509b6658726725b7a4)