Merge pull request #2650 from TheBlueMatt/2023-10-make-clippy-shut-up
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Thu, 12 Oct 2023 20:44:46 +0000 (20:44 +0000)
committerGitHub <noreply@github.com>
Thu, 12 Oct 2023 20:44:46 +0000 (20:44 +0000)
Make clippy shut up about `PartialOrd` and `Ord` both impl'd


Trivial merge