David Holmes david.holmes at
Fri Jul 24 14:16:10 UTC 2020

On 24/07/2020 11:47 pm, Severin Gehwolf wrote:
> On Fri, 2020-07-24 at 23:37 +1000, David Holmes wrote:
>> On 24/07/2020 11:15 pm, Severin Gehwolf wrote:
>>> Hi,
>>> Any particular reason this bug is not public?
>> It contains information in the description that requires it not be
>> public - sorry. But it basically says (as seen in the patch) that the
>> resource array may be too small.
> OK, thanks, David.
> Does anybody know whether this issue of closed bugs being used to push
> changes will be rectified once moved to git and skara via JEPs 357/369?

I don't think there is any connection between the two things so the move 
to git won't change anything there.

> It would be nice if that could be caught in future. I.e. if a bug
> exists that contains internal/confidential info, another bug needs to
> be created, possibly referencing the other. In a setup which I've in
> mind only public bug could be used to push changes. Hopefully we'll get
> there :)

I'm not sure where such a policy decision needs to be made.


> Thanks,
> Severin

More information about the jdk-dev mailing list