Re #9390 Fix OpenMP index signed integral type and doxygen warning.
Merge branch 'feature/9390_convert_empty_to_tof' into develop