Document #3130
Merge branch 'V8_0_0-branch' into V8_0-branch
Merge branch 'V8_0-branch'