cms-sw/cmsdist — pull request #315 by degano (2014-01-09 15:49:14+00:00)
Title: Added patch to Geant4

See also https://github.com/cms-sw/cmsdist/issues/310