Merge v1.20 into master#1640

mongodb-php-bot merged 1 commit intomastermongodb/mongo-php-driver:masterfrom

merge-v1.20-into-master-1725883124288mongodb/mongo-php-driver:merge-v1.20-into-master-1725883124288Copy head branch name to clipboard