Merge v1.19 into master#1621

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

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