mongodb/docs — pull request #1431 by ehershey (2013-12-01 15:25:39+00:00)
Title: Correct package names for rebranding (10gen -> mongodb)

These changes may be slated somewhere to be made already, but we might as well make them now.