cms-sw/cmssw — pull request #4174 by Dr15Jones (2014-06-09 22:13:14+00:00)
Title: Removed unnecessary mutable from GlobalTriggerMenu

The static analyzer was complaining about a mutable in GlobalTriggerMenu.
The mutable keyword was actually unnecessary so was removed.