Small adjustments to the HLT menu for 72X and above
Merged refs/pull/5654/head from repository cms-sw
HLT updates and fixes
Formatting
Merge pull request #5661 from Martin-Grunewald/HLTpostPre7

HLT post-pre7 updates and fixes