Revert "Workaround for Travis issue https://github.com/travis-ci/travis-ci/is…"
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Oct 18 2017, 16:42 - Pushed
• trottet Dec 4 2019, 13:52 - Parents
- R9484:5c9543547e5f: Merge pull request #1297 from gennadiycivil/master
- Branches
- Unknown
- Tags