Merge branch 'newCdash' into 'master'
CDash: use alias instead of machine name See merge request !2354
No related branches found
No related tags found
CDash: use alias instead of machine name See merge request !2354
mentioned in commit 32159487
mentioned in commit 74e8d7b3
mentioned in commit 208b5a0f
mentioned in commit 19604daa