12.0.2-ga and 13.0.0-ga tags?

[Rob McKenna]

This was an artefact of an issue we ran into with the repo. To
complicate matters I had not pushed the +10 tag to this repo. (note: the
+10 tag also points to the +9 tag) I've just corrected that.

Apologies for the oversight.

    -Rob

On 17/07/19 16:29, Severin Gehwolf wrote:
> 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
>