cms-sw/cmssw — pull request #4577 by ktf (2014-07-09 07:38:17+00:00)
Title: Fix workflow 510.0

Same fix as in #4473.