Skip to content

Polish #6635

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Mar 23, 2019
Merged

Polish #6635

merged 1 commit into from
Mar 23, 2019

Conversation

izeye
Copy link
Contributor

@izeye izeye commented Mar 22, 2019

This PR polishes .editorconfig by merging the same configurations into one.

@jzheaux jzheaux merged commit 8dd2864 into spring-projects:master Mar 23, 2019
@jzheaux
Copy link
Contributor

jzheaux commented Mar 23, 2019

Thanks, @izeye! This is now merged into master.

@izeye izeye deleted the patch-1 branch March 23, 2019 00:38
@jzheaux jzheaux self-assigned this Apr 14, 2019
@jzheaux jzheaux added in: build An issue in the build type: enhancement A general enhancement labels Apr 14, 2019
@jzheaux jzheaux added this to the 5.2.0.M2 milestone Apr 14, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@jzheaux jzheaux

Labels
in: build An issue in the build type: enhancement A general enhancement
Projects
None yet
Milestone
5.2.0.M2
Development

Successfully merging this pull request may close these issues.
2 participants
@izeye @jzheaux