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? Matthias