12.0.2-ga and 13.0.0-ga tags?

[Aleksey Shipilev]

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,

-- 
Thanks,
-Aleksey