Not specifically... Typically for something like this we'd just tag a minor revision bump and do a "bug fix" release.