Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Back to bug 873067

Who When What Removed Added
ago 2022-09-26 15:26:17 UTC CC pascal.jaeger
infra-gitbot 2022-09-26 16:00:26 UTC Status CONFIRMED RESOLVED
Resolution --- FIXED

Back to bug 873067