Merge #11390: [docs] document scripted-diff
commit12ed800ab870e0fc527a84d6e4584b10c8d239f5
authorPieter Wuille <pieter.wuille@gmail.com>
Mon, 25 Sep 2017 00:38:47 +0000 (24 17:38 -0700)
committerPieter Wuille <pieter.wuille@gmail.com>
Mon, 25 Sep 2017 00:38:59 +0000 (24 17:38 -0700)
tree5a564255d14fae0849ba8f797fe1a10663b210c4
parent10a20bf7700e3d59f8e2ce3d4eaebf472d1754ce
parent90ab62c4512942f1d252259a892e1cbeeb92789e
Merge #11390: [docs] document scripted-diff

90ab62c45 [docs] document scripted-diff (John Newbery)

Pull request description:

  Document scripted-diffs in developer-notes.md

  I sometimes comment on PRs that a scripted-diff would be appropriate, but I don't have any documentation to point to. Fix that.

Tree-SHA512: 7d4a14b9217c812e4c27601e5e6dd8054cf5104cd20ecbe1ec0a84c217cc4b0645b7c0d2e3a89fdd4d059cafbc388acbddba75a430308f8279200b9383e009de