Merge pull request #1032 from jkczyz/2021-08-clippy
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Mon, 2 Aug 2021 16:28:14 +0000 (16:28 +0000)
committerGitHub <noreply@github.com>
Mon, 2 Aug 2021 16:28:14 +0000 (16:28 +0000)

Trivial merge