Repository navigation

Bump versions - #17891

Merged

bors merged 3 commits into

rust-lang:masterfrom

Oct 9, 2014

Merged

Bump versions#17891
bors merged 3 commits into
rust-lang:masterfrom
brson:verbump

Commits on Oct 9, 2014
- Revert "Update html_root_url for 0.12.0 release"
  brson
  committed
  6beddcf
- Bump version to 0.13.0
  brson
  committed
  afc1b20
- Use the same html_root_url for all docs
  brson
  committed
  5c92a8e