From: bors Date: Fri, 14 Feb 2020 20:26:23 +0000 (+0000) Subject: Auto merge of #1158 - divergentdave:shim-rename, r=RalfJung X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=0a803c97523b99799e5f4c05bdf5f18764698c11;p=rust.git Auto merge of #1158 - divergentdave:shim-rename, r=RalfJung Add shim for rename This adds a straightforward shim for rename, which is used by `std::fs::rename`. Testing is included. As a heads up, I expect one or two merge conflicts between my PRs, since some of them touch the same `use` statements, or add items near the same places. I'll rebase and fix them as they come up. --- 0a803c97523b99799e5f4c05bdf5f18764698c11