From: bors Date: Wed, 11 Jun 2014 13:02:10 +0000 (-0700) Subject: auto merge of #14788 : Sawyer47/rust/issue-13214, r=huonw X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=ea41101b3522f2a7d121758be489404cbb0fde5a;p=rust.git auto merge of #14788 : Sawyer47/rust/issue-13214, r=huonw Closes #13214 --- ea41101b3522f2a7d121758be489404cbb0fde5a