]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #13556 : michaelwoerister/rust/various-fixes, r=alexcrichton
authorbors <bors@rust-lang.org>
Wed, 16 Apr 2014 16:36:33 +0000 (09:36 -0700)
committerbors <bors@rust-lang.org>
Wed, 16 Apr 2014 16:36:33 +0000 (09:36 -0700)
This is a test case verifying that issue #12886 was indeed fixed by PR #13441 from last week.
Fixes #12886.


Trivial merge