For the record, in this case (when a bug didn't get fixed, but didn't make things worse) we'd still release the update, but reopen the bug.
For the record, in this case (when a bug didn't get fixed, but didn't make things worse) we'd still release the update, but reopen the bug.