Merge pull request #4618 from champtar/travis
authorchamptar <champetier.etienne@gmail.com>
Mon, 24 Jul 2017 22:08:42 +0000 (15:08 -0700)
committerGitHub <noreply@github.com>
Mon, 24 Jul 2017 22:08:42 +0000 (15:08 -0700)
commitcd682e926297d1b08bfca079df5dc64f553f8675
tree9e0519586b9758d7eb1b77d0c75f829c4835b8bc
parentdd0603a1702d91515a1e08093a037de00d129a96
parente6013407a8178474ec600c34a779d34e96f31135
Merge pull request #4618 from champtar/travis

Travis improvements