diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index dd818a07..8c4496cf 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -8,7 +8,7 @@ choice config GMP_V_5_0_1 bool - prompt "5.0.1" + prompt "5.0.1 (EXPERIMENTAL)" depends on EXPERIMENTAL config GMP_V_4_3_2