Please consider the following formatting changes to #15517 #1

Job	Run time
PR formatting / copyright headers	11s
PR formatting / clang-format	36s
PR formatting / pragma-once	6s
PR formatting / whitespace	10s
PR formatting / line endings	19s
	1m 22s

Provide feedback