Remove unneeded #[skip_arg] attributes#156942

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

GuillaumeGomez:rm-skip_arg-attrsGuillaumeGomez/rust:rm-skip_arg-attrsCopy head branch name to clipboard