mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-21 09:07:26 -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>