cms-sw/cmssw — pull request #1163 by deguio (2013-10-24 12:48:58+00:00)
Title: Merging topic 1088 1159

just the merge of #1088 and #1159