mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-04 13:47:35 -08:00
6941dbd2a7
Bug: https://github.com/ProofGeneral/PG/pull/812 Closes: https://bugs.gentoo.org/950240 Signed-off-by: Maciej Barć <xgqt@gentoo.org>