Please consider the following formatting changes to #5855 #1

Job	Run time
PR formatting / copyright headers	5s
PR formatting / line endings	26s
PR formatting / clang-format	18s
PR formatting / pragma-once	3s
PR formatting / whitespace	10s
	1m 2s

Provide feedback