cms-sw/cmssw — pull request #1417 by ktf (2013-11-12 10:23:09+00:00)
Title: Make dummy elements thread_local.

More correct solution is probably simply to throw.