mongodb/docs — pull request #873 by bgrabar (2013-04-18 14:14:15+00:00)
Title: DOCS-1400 minor change to glossary

Ready for merge.