Wrong bug ID used in push : Was Re: hg: jdk7u/jdk7u-dev/jdk: 7158366: [macosx] Print-to-file dialog doesn't have an entry field for a name

[mark.reinhold at oracle.com]

2012/6/22 9:24 -0700, philip.race at oracle.com:
> On 6/22/2012 1:11 AM, Seán Coffey wrote:
>> I didn't realise openjdk7 repo allowed duplicate bug IDs. Is there a reason
>> for that ?

If memory serves, Dalibor requested this after it'd become difficult
to merge HotSpot into jdk7u.

>> Do we have any policy for correcting changesets that were pushed with wrong
>> bug id/comment ?
> 
> No idea. If it were considered important I could undo it with another
> changeset then push again with the right bug id and comment. But since
> this is limited to the 7 update forest, not the ongoing 8 forest, it
> probably isn't worth it.

If this were going into a jdk8 forest then I'd rollback the changeset
on the server and blacklist it in jcheck.

How this particular case is handled is up to the jdk7u maintainers.
If you decide that you want the changeset rolled back on the server,
just ask ops at openjdk.java.net.

- Mark