Use an helper to move the files#124975

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

lu-zero:move_filelu-zero/rust:move_fileCopy head branch name to clipboard