mongodb/docs — pull request #1593 by bgrabar (2014-02-19 18:14:54+00:00)
Title: glossary edits

Ready for merge.