Skip to content

Add Cirrus CI badge to manifest#7119

Merged
bors merged 1 commit intorust-lang:masterfrom jonhoo:cirrus-ci-badgeJul 16, 2019

Commits

Commits on Jul 11, 2019