Skip to content

Fix typo in doc #442

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 typo in doc #442

wants to merge 1 commit into from

Conversation

jmondo
Copy link
Contributor

@jmondo jmondo commented May 9, 2020

  • You have read the Spring Data contribution guidelines.
  • There is a ticket in the bug tracker for the project in our JIRA.
  • You use the code formatters provided here and have them applied to your changes. Don’t submit any formatting related changes.
  • You submit test cases (unit or integration tests) that back your changes.
  • You added yourself as author in the headers of the classes you touched. Amend the date range in the Apache license header if needed. For new types, add the license header (copy from another file and set the current year only).

@pivotal-issuemaster
Copy link

@jmondo Please sign the Contributor License Agreement!

Click here to manually synchronize the status of this Pull Request.

See the FAQ for frequently asked questions.

@jmondo
Copy link
Contributor Author

jmondo commented May 9, 2020

@pivotal-issuemaster This is an Obvious Fix

@pivotal-issuemaster
Copy link

@jmondo This Pull Request contains an obvious fix. Signing the Contributor License Agreement is not necessary.

mp911de pushed a commit that referenced this pull request May 12, 2020
Original pull request: #442.
mp911de pushed a commit that referenced this pull request May 12, 2020
Original pull request: #442.
mp911de pushed a commit that referenced this pull request May 12, 2020
Original pull request: #442.
@mp911de
Copy link
Member

mp911de commented May 12, 2020

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

@mp911de mp911de closed this May 12, 2020
mp911de pushed a commit that referenced this pull request May 12, 2020
Original pull request: #442.
mp911de pushed a commit that referenced this pull request May 12, 2020
Original pull request: #442.
mp911de pushed a commit that referenced this pull request May 12, 2020
Original pull request: #442.
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