Merge pull request #1272 from mmicko/travis_fix
authorClifford Wolf <clifford@clifford.at>
Sat, 10 Aug 2019 07:45:26 +0000 (09:45 +0200)
committerGitHub <noreply@github.com>
Sat, 10 Aug 2019 07:45:26 +0000 (09:45 +0200)
commit465a59319af60fd427082b088a53af08cf982179
tree210dd5284d64eb781547adf77b7d8912b89717b6
parentb1e817e616d61ae21da86a69863c229fca1b0d97
parent8853d6d23212bb3f1f36e977172736a17bf93d1d
Merge pull request #1272 from mmicko/travis_fix

Propagate parameters for Travis build