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)
commit8fb70051ee91660c2b6d1235616022ff487b6093
tree98825956131ef0784781ded3a2c48a88294d1265
parent95d9cb655144abe69ca3daef970f446d59cc85a2
parentf452d72c08c27b1881af42f12c669185c43c3e30
Merge pull request #17880 from colemanw/headerComments

[NFC] Fix nonstandard header comments