diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-04 09:10:25 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-04 09:10:31 +0100 |
| commit | d032b5b64b0d3dc74aa846da5da37047ed5a65ad (patch) | |
| tree | 29c999a66e93cf99f41c9f693beb2a5366072fbb /INSTALL | |
| parent | be9a9a3d2253ceccf123572b97a890c489a5a9be (diff) | |
| parent | 7ef8f3c072a8750c72a3a1cdc727b5c1d173bac8 (diff) | |
Merge pull request #7276
7ef8f3c Report non-mandatory script failures correctly (Pieter Wuille)
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions