]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #14192 : pongad/rust/walkcleanup, r=pcwalton
authorbors <bors@rust-lang.org>
Wed, 14 May 2014 14:31:45 +0000 (07:31 -0700)
committerbors <bors@rust-lang.org>
Wed, 14 May 2014 14:31:45 +0000 (07:31 -0700)
Fixes #14134


Trivial merge