Please consider the following formatting changes to #8219 #25

Job	Run time
PR formatting / copyright headers	9s
PR formatting / clang-format	16s
PR formatting / line endings	17s
PR formatting / pragma-once	4s
PR formatting / whitespace	5s
	51s

Provide feedback