Please consider the following formatting changes to #13402 #35201

Job	Run time
PR formatting / line endings	2m 10s
PR formatting / whitespace	13s
PR formatting / copyright headers	11s
PR formatting / clang-format	32s
PR formatting / pragma-once	8s
	3m 14s

Provide feedback