Skip to content

Add missing double quote to GeoJson.java JSDoc header #3677

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
Jun 21, 2021

Conversation

larsw
Copy link
Contributor

@larsw larsw commented Jun 20, 2021

what the title says

  • You have read the Spring Data contribution guidelines.
  • 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-cla
Copy link

@larsw Please sign the Contributor License Agreement!

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

See the FAQ for frequently asked questions.

@pivotal-cla
Copy link

@larsw Thank you for signing the Contributor License Agreement!

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

mp911de commented Jun 21, 2021

@pivotal-issuemaster this is an obvious fix

@mp911de mp911de self-assigned this Jun 21, 2021
@mp911de mp911de added type: documentation A documentation update and removed status: waiting-for-triage An issue we've not yet triaged labels Jun 21, 2021
@mp911de mp911de added this to the 3.0.10 (Neumann SR10) milestone Jun 21, 2021
@mp911de mp911de merged commit 9dda0a2 into spring-projects:main Jun 21, 2021
mp911de pushed a commit that referenced this pull request Jun 21, 2021
mp911de pushed a commit that referenced this pull request Jun 21, 2021
mp911de pushed a commit that referenced this pull request Jun 21, 2021
@mp911de
Copy link
Member

mp911de commented Jun 21, 2021

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

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.

4 participants