4 ms·
That's a good point. I filed https://github.com/rust-lang/rust/issues/19168 https://github.com/rust-lang/rust/issues/19168 to get it fixed.
by erickt 12y ago
That's a good point. I filed https://github.com/rust-lang/rust/issues/19168 https://github.com/rust-lang/rust/issues/19168 to get it fixed.