]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #9997 : thestinger/rust/float, r=thestinger
authorbors <bors@rust-lang.org>
Mon, 21 Oct 2013 19:01:34 +0000 (12:01 -0700)
committerbors <bors@rust-lang.org>
Mon, 21 Oct 2013 19:01:34 +0000 (12:01 -0700)

Trivial merge