diff options
author | Pieter Wuille <pieter.wuille@gmail.com> | 2016-01-03 16:50:31 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-04 09:13:09 +0100 |
commit | 76de36fd2e2bd733fcab68314f6d67704d2047d1 (patch) | |
tree | 670ca385dfceca52cb2eef781af868a7bd0f0e4f /src/qt | |
parent | 453c56701a14d571b93edb4352f6dbfa258c3c44 (diff) |
Report non-mandatory script failures correctly
Github-Pull: #7276
Rebased-From: 7ef8f3c072a8750c72a3a1cdc727b5c1d173bac8
Diffstat (limited to 'src/qt')
0 files changed, 0 insertions, 0 deletions