mongodb/specifications — pull request #12 by ajdavis (2014-09-22 18:22:07+00:00)
Title: Fix server discovery tests.

Fix some mistakes made when merging.