Skip to content

Comments

Cleanup redundant type casts#7073

Merged
rwinch merged 1 commit intospring-projects:masterfrom
larsgrefer:cleanup/redundant-type-casts
Jul 10, 2019
Merged

Cleanup redundant type casts#7073
rwinch merged 1 commit intospring-projects:masterfrom
larsgrefer:cleanup/redundant-type-casts

Conversation

@larsgrefer
Copy link
Contributor

No description provided.

@spring-projects-issues spring-projects-issues added the status: waiting-for-triage An issue we've not yet triaged label Jul 4, 2019
@rwinch rwinch self-assigned this Jul 10, 2019
@rwinch rwinch added type: enhancement A general enhancement and removed status: waiting-for-triage An issue we've not yet triaged labels Jul 10, 2019
@rwinch rwinch added this to the 5.2.0.RC1 milestone Jul 10, 2019
@rwinch rwinch merged commit c5b5cc5 into spring-projects:master Jul 10, 2019
@rwinch
Copy link
Member

rwinch commented Jul 10, 2019

Thanks for the PR @larsgrefer! This is now merged into master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement A general enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants