cms-sw/cmssw — pull request #4518 by ktf (2014-07-03 20:38:24+00:00)
Title: Fix CMSSW_7_0_X to CMSSW_7_1_X forward port

This will forward port to CMSSW_7_1_X the following PR:

- #4446
- #4392
- #4431

while it will ignore:

- #4255
- #4351