oops, 1.2.5 because I forgot a git add