]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #14730 : alexcrichton/rust/issue-14723, r=cmr
authorbors <bors@rust-lang.org>
Sat, 7 Jun 2014 19:01:41 +0000 (12:01 -0700)
committerbors <bors@rust-lang.org>
Sat, 7 Jun 2014 19:01:41 +0000 (12:01 -0700)
Closes #14723


Trivial merge