Skip to content

Conversation

DavideD
Copy link
Member

@DavideD DavideD commented Oct 6, 2025

Backport extra commit for #2560 (PR #2572) to 4.1

@DavideD DavideD added this to the 4.1.2.Final milestone Oct 6, 2025
@DavideD DavideD added the documentation Words label Oct 6, 2025
@DavideD DavideD linked an issue Oct 6, 2025 that may be closed by this pull request
@DavideD DavideD merged commit d5b5313 into hibernate:4.1 Oct 6, 2025
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Apply the unified Hibernate Documentation theme
2 participants