diff options
| author | Marcel Raad <Marcel.Raad@teamviewer.com> | 2017-07-20 15:22:29 +0200 |
|---|---|---|
| committer | Marcel Raad <Marcel.Raad@teamviewer.com> | 2018-04-10 07:52:45 +0200 |
| commit | 0b87c963252d3504552ee0c8cf4402bd65a80af5 (patch) | |
| tree | 0814007e1db3f8de261814ae9a00d30a98bd78f0 /.github | |
| parent | 0f31647cf7c0a9573f2bd18680099206c9e6daf7 (diff) | |
travis: use trusty for coverage build
This works now and precise is in the process of being decommissioned.
Closes https://github.com/curl/curl/pull/2476
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions