Gentoo Archives: gentoo-announce in December 2018