Skip to content

Conversation

@tottoto
Copy link
Contributor

@tottoto tottoto commented Oct 26, 2025

Updates to derive_more 2.

@tottoto tottoto requested a review from a team as a code owner October 26, 2025 03:35
@tottoto tottoto requested a review from abr-egn October 26, 2025 03:35
@abr-egn abr-egn merged commit cb35775 into mongodb:main Oct 28, 2025
20 checks passed
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