Skip to content

Conversation

@jyemin
Copy link
Collaborator

@jyemin jyemin commented Jan 11, 2023

@jyemin jyemin requested a review from katcharov January 11, 2023 13:35
@jyemin jyemin self-assigned this Jan 11, 2023
Copy link
Collaborator

@katcharov katcharov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jyemin jyemin merged commit 4de305e into mongodb:master Jan 12, 2023
@jyemin jyemin deleted the j4837 branch January 12, 2023 15:27
jyemin added a commit that referenced this pull request Jan 12, 2023
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