delete a comment, to trigger a new build
Merge branch 'comp' of github.com:cms-sw/cmsdist into comp