Vocês me desculpem, mas o site do Linux Mint não tem notícia do lançamento oficial. E o DistroWatch também não postou a notícia do lançamento!
Eles não estariam apenas fazendo os uploads para os servidores?
A última notícia oficial data de 18 de Novembro!
Já tem 14 dias desde o lançamento da versão RC, e na notícia do dia 18 de Novembro ele afirmar ter corrigido muitos Bugs e ainda está em preparação para o lançamento da versão final.