Please consider the following formatting changes to #7805 #44

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

Provide feedback