Please consider the following formatting changes to #13057 #12

Job	Run time
PR formatting / line endings	1m 59s
PR formatting / copyright headers	11s
PR formatting / clang-format	29s
PR formatting / whitespace	10s
PR formatting / pragma-once	5s
	2m 54s

Provide feedback