Wrong BugID (whoops!)

[Eric McCorkle]

Alright, I'll just mark the issue as fixed and reference the mistake.

On 07/09/13 13:44, Joe Darcy wrote:
> 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.
> 
> -Joe