diff options
author | MarcoFalke <falke.marco@gmail.com> | 2018-04-07 15:19:43 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2018-04-07 15:19:47 -0400 |
commit | 048ac8326b6952244f6e4453f4f8f6ab423eb926 (patch) | |
tree | 632ba085b32184b09e7f1658965479741d210845 /contrib/devtools/lint-tests.sh | |
parent | becd8dd2ec514f766ee13ac0c01cc74429b966b7 (diff) | |
parent | 17780d6f35a3951f649c3b7766b9283d9c18e39f (diff) |
Merge #12906: Avoid `interface` keyword to fix windows gitian build
17780d6f35 scripted-diff: Avoid `interface` keyword to fix windows gitian build (Russell Yanofsky)
Pull request description:
Rename `interface` to `interfaces`
Build failure reported by ken2812221 in https://github.com/bitcoin/bitcoin/pull/10244#issuecomment-379434756
Tree-SHA512: e02c97c728540f344202c13b036f9f63af23bd25e25ed7a5cfe9e2c2f201a12ff232cc94a93fbe37ef6fb6bf9e036fe62210ba798ecd30de191d09338754a8d0
Diffstat (limited to 'contrib/devtools/lint-tests.sh')
0 files changed, 0 insertions, 0 deletions