diff options
| author | Pieter Wuille <pieter.wuille@gmail.com> | 2017-07-12 18:23:30 -0700 |
|---|---|---|
| committer | Pieter Wuille <pieter.wuille@gmail.com> | 2017-07-12 18:25:35 -0700 |
| commit | e4fcbf797ed3b472d352ac3794ec82f581209c50 (patch) | |
| tree | d99cb734d149476b03b6ea719305f64bf609eb64 /src/policy | |
| parent | 479afa0f8486146a35f1fb96be1826061ecbcf23 (diff) | |
| parent | 1e3a3200afd74b22fdbb5d9425722b0c031e7453 (diff) | |
Merge #10780: Simplify "!foo || (foo && bar)" as "!foo || bar"
1e3a3200a Simplify "!foo || (foo && bar)" as "!foo || bar" (practicalswift)
Tree-SHA512: d5ce6d7a9f3741e7abe8542b840268aa683e276aac7587041d32385a4c1273e20c236bec7590e27540dde72defb3f879d4695822bb7bfdb092cc20d9aefa64c1
Diffstat (limited to 'src/policy')
0 files changed, 0 insertions, 0 deletions