Merge branch 'newCdash' into 'master'
CDash: use alias instead of machine name See merge request !2354 (cherry picked from commit 92cd8f19) e9d18533 CDash: use alias instead of machine name
CDash: use alias instead of machine name See merge request !2354 (cherry picked from commit 92cd8f19) e9d18533 CDash: use alias instead of machine name