Skip to content

Conversation

abr-egn
Copy link
Contributor

@abr-egn abr-egn commented Jul 25, 2022

No description provided.

@@ -0,0 +1,194 @@
<!DOCTYPE HTML>
Copy link
Contributor

Choose a reason for hiding this comment

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

This file seems entirely new although not related to the changes made here, any idea why it's getting generated like this?

Copy link
Contributor

Choose a reason for hiding this comment

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

I think this is because @isabelatkinson added the info to the manual in #683 but we did not actually regenerate the manual files at that time?

@abr-egn abr-egn force-pushed the RUST-1305/uuid-1.0 branch from da56486 to 15f3642 Compare July 26, 2022 14:11
@abr-egn abr-egn merged commit 6ad9aaa into mongodb:main Jul 26, 2022
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.

4 participants