cms-sw/cmsdist — pull request #381 by degano (2014-01-31 15:24:10+00:00)
Title: Coral patch.

Follow up of request #306.