There's no official release of MySQL 8.0 yet, correct? Or... something that isn't an RC?

I was confused by the numbering, but perhaps never paid attention to major point releases before. I saw 8.0.0, 8.0.1, etc through 8.0.6, but looking closer, they're all dev or RC releases, but nothing has been declared 'production ready' yet, officially (or so it seems). Will that be reserved for the 8.1 label? Or will we just see something like 8.0.11 as the first "production release"?

EDIT: thanks for the replies - GA is the term I need to be looking for.

EDIT 2: Also: https://dev.mysql.com/doc/refman/8.0/en/mysql-nutshell.html is a decent overview both of new features and removed/deprecated stuff.