Document #3726
Merge branch 'V8_0_1-branch' into V8_0-branch
Merge branch 'V8_0-branch'