cms-sw/cmsdist — pull request #215 by ktf (2013-10-09 07:28:12+00:00)
Title: Forward ports for mic

Merge the stable branch into the mic branch to pick up improvement there as well.