deps: cherry-pick 79aee39 from upstream v8#12412

Merged

bnoordhuis merged 1 commit intonodejs:v7.x-stagingfrom

bnoordhuis:fix12411

Apr 19, 2017

Commits on Apr 19, 2017

deps: cherry-pick 79aee39 from upstream v8
bnoordhuis
committed