]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #5493 : apasel422/rust/leibniz, r=bstrie
authorbors <bors@rust-lang.org>
Fri, 22 Mar 2013 12:30:50 +0000 (05:30 -0700)
committerbors <bors@rust-lang.org>
Fri, 22 Mar 2013 12:30:50 +0000 (05:30 -0700)
Closes #5411.


Trivial merge