Document #3891
Merge branch 'V8_1_2-branch'