cms-sw/cmssw — pull request #5700 by mtosi (2014-10-06 12:28:03+00:00)
Title: bug fix in PixelVertexCollectionTrimmer

fix bug in PixelVertexCollectionTrimmer