Update for sprint-31-hotfix

Seems like the "sprint-31-hotfix" branch name should get mentioned somewhere, but probably not here. In the Release Notes?