[4.2] Upgrade Hibernate ORM to 7.2.0.CR1#2625
Merged
DavideD merged 15 commits intohibernate:mainfrom Oct 22, 2025
Merged
Commits
Commits on Oct 22, 2025
- committed
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed