Merge pull request #1904 from TheBlueMatt/2022-12-1825-followups
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Mon, 12 Dec 2022 17:58:21 +0000 (17:58 +0000)
committerGitHub <noreply@github.com>
Mon, 12 Dec 2022 17:58:21 +0000 (17:58 +0000)
Trivial Followups to #1825


Trivial merge