Merge pull request #13271 from seamuslee001/header_whitespace_fixes
authorMonish Deb <monish.deb@jmaconsulting.biz>
Thu, 13 Dec 2018 14:31:22 +0000 (20:01 +0530)
committerGitHub <noreply@github.com>
Thu, 13 Dec 2018 14:31:22 +0000 (20:01 +0530)
commit0c7913c881100292d8db9a7af937a0456b4056d4
tree627b9c5d76add7aa1137d9d57e8ad2773fbdff64
parenta65f52b63ddf8b85bbf7abb98155fb2a9bf2a693
parent775788cf4358edb4dd1edf8bc63911721991a997
Merge pull request #13271 from seamuslee001/header_whitespace_fixes

(NFC) whitespace header fixes