Merge pull request #94 from wenningerk/ci_stuff
Fix: build: diff filelist against HEAD not to miss staged new files
Description
Description
Details
Details
- Provenance
wenningerk Authored on Sep 4 2019, 11:35 AM GitHub <noreply@github.com> Committed on Sep 4 2019, 11:35 AM - Parents
- rSd617a3ce802e: Fix: build: diff filelist against HEAD not to miss staged new files
rS6914c4f4673b: Merge pull request #92 from wenningerk/ci_stuff - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes