mongodb/docs — pull request #1257 by bgrabar (2013-09-12 15:08:30+00:00)
Title: DOCS-94 DOCS-95 migrate sharded cluster to new hardware

Ready for merge. This has been reviewed and approved.