Merge v1.20 into v1.x#1727

mongodb-php-bot wants to merge 1 commit intov1.xmongodb/mongo-php-driver:v1.xfrom

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