Skip to content

Conversation

stIncMale
Copy link
Member

@stIncMale stIncMale commented Dec 6, 2023

This is a new incarnation of #1261. The original PR was automatically closed when the target branch named 5.x was deleted.

JAVA-5088

@stIncMale stIncMale self-assigned this Dec 6, 2023
@stIncMale stIncMale requested a review from vbabanin December 6, 2023 18:26
@stIncMale
Copy link
Member Author

@vbabanin Added you as a nominal reviewer. All you need to do is to approve the PR without reviewing, because the changes have already been reviewed and approved in #1261 (you were one of the approvers).

@stIncMale stIncMale merged commit 2cf5f3d into mongodb:master Dec 6, 2023
@stIncMale stIncMale deleted the JAVA-5088 branch December 6, 2023 19:19
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