Please consider the following formatting changes to #13883 #513

Job	Run time
PR formatting / copyright headers	17s
PR formatting / clang-format	28s
PR formatting / line endings	20s
PR formatting / pragma-once	6s
PR formatting / whitespace	17s
	1m 28s

Provide feedback