Merge pull request #2239 from kgaillot/fixes-2.0
Minor build changes before 2.0.5 release
Description
Description
Details
Details
- Provenance
kgaillot Authored on Nov 30 2020, 11:16 AM GitHub <noreply@github.com> Committed on Nov 30 2020, 11:16 AM - Parents
- rP3b13acad52c5: Test: travis: use Ubuntu-friendly configure options
rPcbe96bc0a6c9: Merge pull request #2236 from HideoYamauchi/2.0-trac4675 - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes