cms-sw/cmsdist — pull request #990 by degano (2014-09-08 06:38:02+00:00)
Title: Fix correct HF file.

See also #980.