12.0.2-ga and 13.0.0-ga tags?

[Rob McKenna]

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.

Coffee consumed, fixes pushed.

    -Rob

On 17/07/19 10:23, Martijn Verburg wrote:
> Thanks, Aleksey - I figured I'd gotten my dates wrong!
> 
> Cheers,
> Martijn
> 
> 
> On Wed, 17 Jul 2019 at 09:15, Aleksey Shipilev <shade at redhat.com> wrote:
> 
> > On 7/17/19 10:04 AM, Aleksey Shipilev wrote:
> > > On 7/17/19 9:56 AM, Martijn Verburg wrote:
> > >> I suspect I'm being really dense but were there 12.0.2-ga and 13.0.0-ga
> > >> tags due to be pushed yesterday or today?
> > >
> > > 13 is due to release in September, you cannot expect GA at this time.
> > >
> > > 12 repo does not even have the security patches pushed in, AFAICS. I
> > believe the tag would follow in
> > > the same push. I'd wait for Rob to push those,
> >
> > ...after Robs wakes up and has his morning coffee. (Sent the note too
> > early. Clearly, I should have
> > had my own coffee first).
> >
> > --
> > Thanks,
> > -Aleksey
> >
> >