Please consider the following formatting changes to #7151 #20

Job	Run time
PR formatting / line endings	14s
PR formatting / copyright headers	5s
PR formatting / clang-format	24s
PR formatting / pragma-once	4s
PR formatting / whitespace	5s
	52s

Provide feedback