Merge pull request #7276
7ef8f3c Report non-mandatory script failures correctly (Pieter Wuille)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Jan 4 2016, 08:10 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABC7ef8f3c072a8: Report non-mandatory script failures correctly
rABCbe9a9a3d2253: Merge pull request #7214 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes