Skip to content

Fixes for Snooty build v2.17 #46

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 31, 2023

Conversation

ccho-mongodb
Copy link
Contributor

@ccho-mongodb ccho-mongodb commented Jul 31, 2023

Similar to #45

@ccho-mongodb ccho-mongodb changed the title Add missing files for snooty build Fixes for Snooty build v2.18 Jul 31, 2023
@ccho-mongodb ccho-mongodb changed the title Fixes for Snooty build v2.18 Fixes for Snooty build v2.17 Jul 31, 2023
@ccho-mongodb ccho-mongodb merged commit ff4c885 into mongodb:v2.17 Jul 31, 2023
@ccho-mongodb ccho-mongodb deleted the 073123-snooty-fixes branch July 31, 2023 18:12
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.

3 participants