cms-sw/cmssw — pull request #2330 by giamman (2014-02-06 14:26:27+00:00)
Title: Preparation for new mixing part 8

Same as pull request 2016, plus a modification to give meaningful names (instead of numbers) to the mixing options.
The default is still the old mixing.