On 11.08.2013 15:25, Benjamin Striegel wrote:
Sorry for not replying to this earlier. Thanks for the hint! I have read the discussion in the issue and tried to take it into account in my writing.Note that we have an issue open in the bug tracker for this:https://github.com/mozilla/rust/issues/7746
Cheers, Michael _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
