Skip to content

Conversation

raphaelDL
Copy link
Contributor

Fixes gh-6106

@rwinch rwinch self-assigned this Nov 21, 2018
@rwinch rwinch added in: build An issue in the build type: enhancement A general enhancement labels Nov 21, 2018
@rwinch rwinch added this to the 5.2.0.M1 milestone Nov 21, 2018
@rwinch rwinch merged commit e60e171 into spring-projects:master Nov 21, 2018
@rwinch rwinch mentioned this pull request Nov 21, 2018
@rwinch
Copy link
Member

rwinch commented Nov 21, 2018

Thanks for the PR @raphaelDL! This is now merged into master and backported to 5.1.x via #6124

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
in: build An issue in the build type: enhancement A general enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants