]> git.lizzy.rs Git - rust.git/commitdiff
rollup merge of #19016: gkoz/use_util_copy
authorJakub Bukaj <jakub@jakub.cc>
Mon, 17 Nov 2014 23:24:03 +0000 (00:24 +0100)
committerJakub Bukaj <jakub@jakub.cc>
Mon, 17 Nov 2014 23:24:03 +0000 (00:24 +0100)
This code is identical to io::util::copy()


Trivial merge