]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #15267 : ruud-v-a/rust/patch-1, r=huonw
authorbors <bors@rust-lang.org>
Mon, 30 Jun 2014 14:06:31 +0000 (14:06 +0000)
committerbors <bors@rust-lang.org>
Mon, 30 Jun 2014 14:06:31 +0000 (14:06 +0000)
[This commit](https://github.com/rust-lang/rust/commit/25fe2cadb10db1a54cefbd1520708d4397874bc3#diff-04c6e90faac2675aa89e2176d2eec7d8R57) forgot to remove one line.


Trivial merge