]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #7437 : brson/rust/winver, r=brson
authorbors <bors@rust-lang.org>
Fri, 28 Jun 2013 21:14:03 +0000 (14:14 -0700)
committerbors <bors@rust-lang.org>
Fri, 28 Jun 2013 21:14:03 +0000 (14:14 -0700)
r? @graydon (or anybody)


Trivial merge