You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
dl.rustlang.org/ should point to rustlang.org #2970
If I click Tutorial or any of the other doc links, and then clear the rest of the URL to go back to the frontpage, I also have to clear the dl. portion that is added. This doubles the amount of time it takes to get back to the front page.
It's hosted on s3 and not terribly easy to convince to redirect. Given that the back button gets you back to the referring page pretty easily, this doesn't feel like it's worth fussing over to me. Closing as wontfix.
Activity
graydon commentedon Jul 26, 2012
It's hosted on s3 and not terribly easy to convince to redirect. Given that the back button gets you back to the referring page pretty easily, this doesn't feel like it's worth fussing over to me. Closing as wontfix.
Bump Kani version to 0.44.0 (rust-lang#2970)
Merge pull request rust-lang#2970 from rust-lang/rustc-pull
Merge rust-lang#2970