Merge v1.20 into master#1380

mongodb-php-bot merged 2 commits intomastermongodb/mongo-php-library:masterfrom

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