Merge pull request #17880 from colemanw/headerComments
authorSeamus Lee <seamuslee001@gmail.com>
Sat, 18 Jul 2020 08:57:43 +0000 (18:57 +1000)
committerGitHub <noreply@github.com>
Sat, 18 Jul 2020 08:57:43 +0000 (18:57 +1000)
[NFC] Fix nonstandard header comments


Trivial merge