Please consider the following formatting changes to #13918 #515

Job	Run time
PR formatting / clang-format	32s
PR formatting / copyright headers	19s
PR formatting / line endings	1m 20s
PR formatting / pragma-once	5s
PR formatting / whitespace	18s
	2m 34s

Provide feedback