Skip to content

Conversation

bgrabar
Copy link

@bgrabar bgrabar commented May 13, 2013

Ready for merge. (lgtm from Spencer)

@tychoish
Copy link
Contributor

merged!

@tychoish tychoish closed this May 13, 2013
mongo-cr-bot pushed a commit that referenced this pull request Apr 20, 2022
mongo-cr-bot pushed a commit that referenced this pull request Apr 20, 2022
mongo-cr-bot pushed a commit that referenced this pull request Apr 20, 2022
mongodb-server-docs-sync-bot bot pushed a commit that referenced this pull request Jun 16, 2025
* (DOCSP-49539) Add release notes for 1.42.2

* (DOCSP-49539) Simplify first bullet.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants