cms-sw/cmssw — pull request #113 by giamman (2013-07-15 22:52:55+00:00)
Title: New mip treatment 2

Trivial fix: the previous pull request (#80) was not compiling because I had forgotten to commit one header.