Skip to content

Fix CI#120

Merged
bors merged 2 commits intorust-lang:masterfrom
Amanieu:fix_ci2
Oct 4, 2019
Merged

Fix CI#120
bors merged 2 commits intorust-lang:masterfrom
Amanieu:fix_ci2

Commits

Commits on Oct 3, 2019