Merge pull request #1297 from gennadiycivil/master
Workaround for Travis issue https://github.com/travis-ci/travis-ci/is…
GitHub <noreply@github.com> | Oct 18 2017, 16:40 |
• trottet | Dec 4 2019, 13:52 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
dfed97a69ac3 | Gennadiy Civil | Workaround for Travis issue https://github.com/travis-ci/travis-ci/issues/8552 | Oct 18 2017 |