Please consider the following formatting changes to #5569 #10

Job	Run time
PR formatting / line endings	17s
PR formatting / copyright headers	5s
PR formatting / clang-format	26s
PR formatting / pragma-once	16s
PR formatting / whitespace	9s
	1m 13s

Provide feedback