mongodb/docs — pull request #1270 by bgrabar (2013-09-16 14:34:26+00:00)
Title: an 'include' error

ready for merge