mongodb/docs — pull request #1225 by bgrabar (2013-09-03 20:30:30+00:00)
Title: DOCS-1871 best practices for naming config servers

Ready for merge