I put the wrong bug id in a recent changeset. I had 8014399, when the actual id was 8014933. Can this be changed, or should I just close the ticket manually?