12.0.2-ga and 13.0.0-ga tags?

[Severin Gehwolf]

On Wed, 2019-07-17 at 16:14 +0200, Matthias Klose wrote:
> On 17.07.19 16:04, Severin Gehwolf wrote:
> > On Wed, 2019-07-17 at 15:51 +0200, Matthias Klose wrote:
> > > On 17.07.19 14:03, Rob McKenna wrote:
> > > > Hi folks,
> > > > 
> > > > My sincerest apologies for the delay. There was a last minute issue with
> > > > the repo and I needed a double and triple check before I felt
> > > > comfortable pushing.
> > > 
> > > The jdk-12.0.2-ga and jdk-12.0.2+9 tags now reference different commits.  Is
> > > this expected?
> > 
> > As far as I can see it's jdk-12.0.2-ga -> jdk-12.0.2+9 -> ffb3065f13fe.
> > So it's essentially the same code. What's the concern exactly?
> 
> well, there have been some rants about "mystery meat builds" in the past, so I'm
> asking here. but from looking at http://hg.openjdk.java.net/jdk-updates/jdk12u/
> it's not directly obvious.
> 
> But from looking at
> http://hg.openjdk.java.net/jdk-updates/jdk12u/graph/e8a37f17cf51 I see see there
> is no difference.

Thanks for double-checking!

Cheers,
Severin