On 05/18/2013 08:31 PM, Ted Horst wrote:
Is there a design document for the new scheduler?
Not a complete one, but the issue tracker covers some things: https://github.com/mozilla/rust/issues/4419
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
