mongodb/docs — pull request #1039 by bgrabar (2013-06-11 18:01:37+00:00)
Title: Upgrade 1171

Ready for merge.