Please consider the following formatting changes to #3938 #22

Job	Run time
PR formatting / line endings	18s
PR formatting / clang-format	16s
PR formatting / pragma-once	5s
PR formatting / copyright headers	6s
PR formatting / whitespace	5s
	50s

Provide feedback