Revision 883860017ed5dfd9712df699ff0afd76b55f568f

Committed on 29/12/2019 2:16 am by Stanislav V <[email protected]> [GitHub Diff]

Fix travis-ci cfg