mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-11-03 04:37:06 -08:00
There's no reason to keep USE=gmp optional for PARI, it's going to be enabled unconditionally. Straight-to-stable this as it's only an (+). Signed-off-by: Michael Orlitzky <mjo@gentoo.org>