Merge pull request #2015 from TheBlueMatt/2023-02-no-dumb-redundant-fields
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Tue, 28 Feb 2023 07:55:56 +0000 (07:55 +0000)
committerGitHub <noreply@github.com>
Tue, 28 Feb 2023 07:55:56 +0000 (07:55 +0000)

Trivial merge