Merge branch 'bug-18035-cdash-pretty-distribution-names'
- bug-18035-cdash-pretty-distribution-names: Use a shell script to determine the Linux distribution.
Merge branch 'bug-18035-cdash-pretty-distribution-names' Tags None Referenced Files None Subscribers None
Description
Details
Merged Changes |