Bump versions now that we've branched 1.3