Merge pull request #2714 from TheBlueMatt/2023-11-one-less-alloc
authorJeffrey Czyz <jkczyz@gmail.com>
Tue, 7 Nov 2023 13:43:26 +0000 (07:43 -0600)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2023 13:43:26 +0000 (07:43 -0600)
Avoid an unnecessary allocation in `TaggedHash`


Trivial merge