]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12700 : thestinger/rust/float, r=cmr
authorbors <bors@rust-lang.org>
Wed, 5 Mar 2014 16:38:10 +0000 (08:38 -0800)
committerbors <bors@rust-lang.org>
Wed, 5 Mar 2014 16:38:10 +0000 (08:38 -0800)

Trivial merge