Merge pull request #1533 from kgaillot/fixes
Small updates
Description
Description
Details
Details
- Provenance
kgaillot Authored on Jul 9 2018, 4:52 PM GitHub <noreply@github.com> Committed on Jul 9 2018, 4:52 PM - Parents
- rPcc38930891a5: Build: spec: support alternative python 3 location
rP89cd02857620: Doc: update change log for 2.0.0 release - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes