cms-sw/cmssw — pull request #1742 by vadler (2013-12-09 18:01:57+00:00)
Title: Forward port from 53X of update to CVS-tag V00-03-34.

Forward port of #1710.