mongodb/docs — pull request #1118 by bgrabar (2013-07-19 20:57:31+00:00)
Title: DOCS-1723 glossary edits - part 1

Ready for merge.