[RFC] [PROTOTYPE] Add support for overrides via GMP#14730

withinboredom wants to merge 3 commits intophp:masterphp/php-src:masterfrom

bottledcode:add-gmp-overridesbottledcode/php-src:add-gmp-overridesCopy head branch name to clipboard