Merge #11011: [Trivial] Add a comment on the use of prevector in script.
commit7db65c363a0cc6ca7cdb04de9a973ab70013baad
authorMarcoFalke <falke.marco@gmail.com>
Tue, 15 Aug 2017 23:28:35 +0000 (16 01:28 +0200)
committerMarcoFalke <falke.marco@gmail.com>
Tue, 15 Aug 2017 23:29:09 +0000 (16 01:29 +0200)
treebe97ced748fbfa4d89255469c16156c3042f82d3
parent6366941275344dac7e2130b0c972e90117d37ed0
parent08f71c29ea586f41d0ec3ba77f2366c41e861354
Merge #11011: [Trivial] Add a comment on the use of prevector in script.

08f71c29e [Trivial] Add a comment on the use of prevector in script. (Gregory Maxwell)

Pull request description:

Tree-SHA512: 020981516e67e576685eb9a8532178fb97d1780af409fc86d869cd05c293c0c823c26e838cf544d18610f5a3f479ce3e47d2ccb95fb1c4e55fe9e7ceb354f20b
src/script/script.h