]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10697 : pcwalton/rust/path-new, r=pcwalton
authorbors <bors@rust-lang.org>
Fri, 29 Nov 2013 19:01:50 +0000 (11:01 -0800)
committerbors <bors@rust-lang.org>
Fri, 29 Nov 2013 19:01:50 +0000 (11:01 -0800)
r+

(carrying over from @alexcrichton's review)


Trivial merge