mongodb/mongo — pull request #691 by mwhittaker (2014-06-05 00:25:59+00:00)
Title: SERVER-14167 removed spurious duplicate declaration

[jira ticket](https://jira.mongodb.org/browse/SERVER-14118)