On 09/01/2013 8:43 AM, David Brown wrote: > Is this known, or should I file a ticket?
We know there are a few issues like this; but that's _especially_ poor behavior. Please file a ticket! -Graydon _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
