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
the docs on rust-lang.org tend to represent what's on trunk and capacity was added after 0.2. The docs should really reflect what version they were generated from. I think there's an issue open for that.
Activity
brson commentedon Jun 20, 2012
the docs on rust-lang.org tend to represent what's on trunk and
capacitywas added after 0.2. The docs should really reflect what version they were generated from. I think there's an issue open for that.Auto merge of rust-lang#2650 - RalfJung:rustup, r=RalfJung
Auto merge of rust-lang#2650 - RalfJung:rustup, r=RalfJung
Bump CBMC version (rust-lang#2796)
Merge rust-lang#2650