Please consider the following formatting changes to #7193 #24

Job	Run time
PR formatting / whitespace	7s
PR formatting / line endings	14s
PR formatting / copyright headers	6s
PR formatting / clang-format	19s
PR formatting / pragma-once	5s
	51s

Provide feedback