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

Back to bug 802744

Who When What Removed Added
toralf 2021-07-18 13:29:58 UTC Assignee bug-wranglers haskell
infra-gitbot 2021-07-18 13:34:11 UTC Status CONFIRMED RESOLVED
Resolution --- FIXED

Back to bug 802744