Please consider the following formatting changes to #13971 #518

Job	Run time
PR formatting / line endings	23s
PR formatting / copyright headers	14s
PR formatting / clang-format	24s
PR formatting / pragma-once	5s
PR formatting / whitespace	20s
	1m 26s

Provide feedback