In case you haven't been paying attention, the great libcore renaming landed on incoming today. So,
libcore is now libstd libstd is now libextra _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
