Skip to content

Conversation

eleftherias
Copy link
Contributor

Issue: gh-4939

@eleftherias eleftherias added the type: enhancement A general enhancement label Jun 5, 2019
@rwinch rwinch self-assigned this Jun 6, 2019
@rwinch rwinch added the in: build An issue in the build label Jun 6, 2019
@rwinch rwinch modified the milestone: 5.2.0.M3 Jun 6, 2019
@rwinch rwinch merged commit d285c6a into spring-projects:master Jun 7, 2019
@rwinch
Copy link
Member

rwinch commented Jun 7, 2019

Thanks for the PR @eleftherias! This is now in master

@eleftherias eleftherias deleted the gh-4939-jee-groovy-to-java branch June 10, 2019 18:04
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