Actually record hotfix version.