Skip to content

Conversation

DavideD
Copy link
Member

@DavideD DavideD commented Apr 6, 2023

Fix #1567

@DavideD DavideD requested a review from Sanne April 6, 2023 13:56
@Sanne
Copy link
Member

Sanne commented Apr 6, 2023

Let's merge it IFF quarkusio/quarkus#32416 gets merged

@DavideD DavideD added the waiting We are waiting for another PR or issue to be solved before merging this one label Apr 6, 2023
@DavideD DavideD removed the waiting We are waiting for another PR or issue to be solved before merging this one label Apr 19, 2023
@DavideD DavideD merged commit 509fa27 into hibernate:main Apr 19, 2023
@DavideD DavideD modified the milestone: next Apr 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Upgrade Vert.x to 4.4.1

2 participants