cms-sw/cmssw — pull request #138 by giamman (2013-07-18 15:57:58+00:00)
Title: New mip treatment 3

Third attempt after pull requests #80 and #113.