Merge #7776: build: Remove unnecessary executables from gitian release
f063863 build: Remove unnecessary executables from gitian release (Wladimir J. van der Laan)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Apr 5 2016, 13:44 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGINGf063863d1fc9: build: Remove unnecessary executables from gitian release
rSTAGING55db5f07b1c4: Merge #7781: devtools: Auto-set branch to merge to in github-merge - Branches
- Unknown
- Tags
Merged Changes
Merged Changes