Merge pull request #105 from wenningerk/ci_stuff
travis: switch to fedora 31 as build-host
Description
Description
Details
Details
- Provenance
wenningerk Authored on Nov 29 2019, 9:59 AM GitHub <noreply@github.com> Committed on Nov 29 2019, 9:59 AM - Parents
- rS27ebcc5bf5bd: travis: switch to fedora 31 as build-host
rS7c31befa8970: Merge pull request #104 from wenningerk/coverity_issues - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes