for the Ubuntu 12.04.3 release, the 3 is a 'point release,' not a
'milestone' # 3972
Merge branch 'V8_0-branch' into V8_1_2-branch
Merge branch 'V8_1_2-branch'