Merge pull request #459 from mithro/travis-fix
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 9 Apr 2020 07:01:59 +0000 (09:01 +0200)
committerGitHub <noreply@github.com>
Thu, 9 Apr 2020 07:01:59 +0000 (09:01 +0200)
commitfdfede2281e2b76346719a91cb7ca6d4a251f001
tree59b918ce44a1021c5cc9c15c2ce093b0aeba5e15
parent30f5faf9bc9b52cbc566578119518cf9c9eb086b
parentcb7e309966cc0a57a7eb05aeb3564be2c689d2e9
Merge pull request #459 from mithro/travis-fix

Two small Travis-CI related patches