12.0.2-ga and 13.0.0-ga tags?

[Martijn Verburg]

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