Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #13370 - jtherrmann:master, r=dswij
Fix possible typo in `ptr_arg` lint This fixes a possible typo in the [`ptr_arg`](https://rust-lang.github.io/rust-clippy/master/index.html#/ptr_arg) lint. I'm new to Rust, so apologies if I misunderstood the meaning of this lint. changelog: [`ptr_arg`]: Fix typo ("size" -> "type")
- Loading branch information