mongodb/mongo-php-driver — pull request #526 by bjori (2013-09-05 19:18:53+00:00)
Title: Try inserting a document a few times since jenkins seems to time out

every once in a while