Gentoo Archives: gentoo-dev-announce in December 2018