Revert "Workaround for broken initialization script of travis"#1712
Merged
cramertj merged 1 commit intorust-lang:masterfrom Jul 3, 2019
Merged
Revert "Workaround for broken initialization script of travis"#1712cramertj merged 1 commit intorust-lang:masterfrom
cramertj merged 1 commit intorust-lang:masterfrom
