Skip to content

Fix a typo in MongoConverter javadoc #3758

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

Closed
wants to merge 1 commit into from
Closed

Fix a typo in MongoConverter javadoc #3758

wants to merge 1 commit into from

Conversation

RyanGibb
Copy link
Contributor

No description provided.

@spring-projects-issues spring-projects-issues added the status: waiting-for-triage An issue we've not yet triaged label Jul 30, 2021
@mp911de
Copy link
Member

mp911de commented Aug 24, 2021

Note: During merge, we should fix stcasecmp to strcasecmp in the aggregation docs.

@mp911de mp911de self-assigned this Aug 24, 2021
@mp911de mp911de added type: documentation A documentation update and removed status: waiting-for-triage An issue we've not yet triaged labels Aug 24, 2021
@mp911de mp911de changed the title Fix a typo changing 'thw' to 'the'. Fix a typo in MongoConverter javadoc Aug 25, 2021
mp911de pushed a commit that referenced this pull request Aug 25, 2021
mp911de added a commit that referenced this pull request Aug 25, 2021
Fix typo in reference docs.

See #3758
mp911de pushed a commit that referenced this pull request Aug 25, 2021
mp911de added a commit that referenced this pull request Aug 25, 2021
Fix typo in reference docs.

See #3758
mp911de pushed a commit that referenced this pull request Aug 25, 2021
mp911de added a commit that referenced this pull request Aug 25, 2021
Fix typo in reference docs.

See #3758
@mp911de mp911de added this to the 3.1.13 (2020.0.13) milestone Aug 25, 2021
@mp911de
Copy link
Member

mp911de commented Aug 25, 2021

Thank you for your contribution. That's merged, polished, and backported now.

@mp911de mp911de closed this Aug 25, 2021
@RyanGibb
Copy link
Contributor Author

RyanGibb commented Sep 3, 2021

Great to hear! You're very welcome.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: documentation A documentation update
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants