]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10733 : alexcrichton/rust/ignore-on-windows, r=pcwalton
authorbors <bors@rust-lang.org>
Sun, 1 Dec 2013 02:31:46 +0000 (18:31 -0800)
committerbors <bors@rust-lang.org>
Sun, 1 Dec 2013 02:31:46 +0000 (18:31 -0800)
I've seen this fail on windows twice now, and it's not clear to me why it's
failing. For now, ignore it on that platform while investigation enuses.


Trivial merge