HomePhabricator
Diffusion MITK f0fc49ec235c

Merge branch 'bug-18035-cdash-pretty-distribution-names'

Description

Merge branch 'bug-18035-cdash-pretty-distribution-names'

  • bug-18035-cdash-pretty-distribution-names: Use a shell script to determine the Linux distribution.