12.0.2-ga and 13.0.0-ga tags?

[Aleksey Shipilev]

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