mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-11-10 06:57:08 -08:00
This is the name upstream has eventually settled on. Change discussed with and approved by monsieurp on IRC. Signed-off-by: Marek Szuba <marecki@gentoo.org>