mongodb/docs — pull request #1251 by bgrabar (2013-09-11 13:57:47+00:00)
Title: DOCS-1205 change hostname in a replica set

Ready for merge. Small change.