Skip to content

Stdlib: withhold gmp on reference profile without host php-gmp (#22860)#22998

Merged
PurHur merged 1 commit into
masterfrom
fix/22860-gmp-extension-gate
Jul 25, 2026
Merged

Stdlib: withhold gmp on reference profile without host php-gmp (#22860)#22998
PurHur merged 1 commit into
masterfrom
fix/22860-gmp-extension-gate

Stdlib: withhold gmp on reference profile without host php-gmp (#22860)

fbaf507
Select commit
Loading
Failed to load commit list.