for the Ubuntu 12.04.3 release, the 3 is a 'point release,' not a
'milestone' # 3972