Please consider the following formatting changes to #14257 #115

Job	Run time
PR formatting / copyright headers	19s
PR formatting / clang-format	29s
PR formatting / line endings	1m 13s
PR formatting / whitespace	18s
PR formatting / pragma-once	9s
	2m 28s

Provide feedback