Wrong BugID (whoops!)

[mark.reinhold at oracle.com]

2013/7/9 7:37 -0700, dmitry.samersoff at oracle.com:
> As far as I understand, we don't plan to remove changeset - just
> manually close bug in JBS.

Yes, that's how we're handling this case, per Harold's related message.

> In this case we keep a wrong bug id in history so attempt to understand
> what caused the changes couple of years later become an adventure.
> 
> I would like to have something not very formal that looks like:
> 
> (wrong bug id)
> 4896:97c5acae48be s/7007040/7007044/
> 
> (hotspot and corresponding jdk changes has different bug id)
> 4896:97c5acae48be see also jdk 7007044

I think the right place for that information is in the bug reports
themselves, and my understanding is that that's what we're going to
do for this case.

- Mark