dmwm/T0 — pull request #4032 by hufnagel (2013-01-16 16:00:30+00:00)
Title: add more runs to the workaround for the bad HLT menu

Add more runs for which the workaround for a bad HLT menu is applied.