Merge pull request #10670 from ptibogxiv/patch-127

Fix travis for recent PR
This commit is contained in:
Laurent Destailleur 2019-02-24 20:37:55 +01:00 committed by GitHub
commit b5973957e7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

Diff Content Not Available