cms-sw/cmssw — pull request #6293 by threus (2014-11-08 22:37:50+00:00)
Title: thread fix

clean PR with fixes to #6061 as suggested by @deguio