Please consider the following formatting changes to #12266 #36

Job	Run time
PR formatting / whitespace	8s
PR formatting / copyright headers	11s
PR formatting / clang-format	29s
PR formatting / pragma-once	6s
PR formatting / line endings	55s
	1m 49s

Provide feedback