Skip to content

Conversation

benjie
Copy link
Member

@benjie benjie commented Jun 21, 2024

For details, see: #4118

@benjie benjie merged commit 12e30ad into 15.x.x Jun 21, 2024
@benjie benjie deleted the maxintfields-15 branch June 21, 2024 13:03
@benjie benjie added the PR: feature 🚀 requires increase of "minor" version number label Jun 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: feature 🚀 requires increase of "minor" version number
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants