Skip to content

Conversation

@dreab8
Copy link
Member

@dreab8 dreab8 commented Nov 20, 2025

Fix #2803

@hibernate-github-bot hibernate-github-bot bot changed the title Upgrade Hibernate ORM to 7.2.0.CR3 [wip/4.2] Upgrade Hibernate ORM to 7.2.0.CR3 Nov 20, 2025
@hibernate-github-bot hibernate-github-bot bot added the wip/4.2 Label for pull requests targeting [wip/4.2] branch. label Nov 20, 2025
@DavideD DavideD force-pushed the wip/4.2 branch 2 times, most recently from ec16c7f to a5aca23 Compare November 22, 2025 05:09
@DavideD
Copy link
Member

DavideD commented Nov 22, 2025

Thanks, I applied this to wip/4.2 otherwise it doesn't build. We can close this PR.

@DavideD DavideD closed this Nov 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

wip/4.2 Label for pull requests targeting [wip/4.2] branch.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants