12.0.2-ga and 13.0.0-ga tags?

[Severin Gehwolf]

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?

Thanks,
Severin