Wrong BugID (whoops!)

[mark.reinhold at oracle.com]

2013/7/9 3:44 -0700, joe.darcy at oracle.com:
> On 07/09/2013 07:55 AM, Eric McCorkle wrote:
>> 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?
> 
> To is impractical to change the bug id used in a changeset that has 
> already been pushed.

Well, it depends.  If the changeset has only been pushed to one or two
non-master repositories then it can be rolled back and blacklisted, but
anyone who's already pulled it will have to strip that changeset and any
of its children from their working repos.

When did you push it, and to where?  What's the changeset hash?

- Mark