Skip to content

Conversation

@matrei
Copy link
Contributor

@matrei matrei commented Nov 18, 2025

Closes #15233

@matrei matrei merged commit 8d3aa3e into 7.0.x Nov 19, 2025
36 checks passed
@matrei matrei deleted the 15233-minor-corrections branch November 19, 2025 12:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Version mismatch in documentation

3 participants