Please consider the following formatting changes to #13245 #7

Job	Run time
PR formatting / line endings	2m 7s
PR formatting / clang-format	29s
PR formatting / whitespace	8s
PR formatting / copyright headers	12s
PR formatting / pragma-once	6s
	3m 2s

Provide feedback