Please consider the following formatting changes to #14042 #2

Job	Run time
PR formatting / whitespace	9s
PR formatting / line endings	24s
PR formatting / clang-format	28s
PR formatting / copyright headers	10s
PR formatting / pragma-once	7s
	1m 18s

Provide feedback