Skip to content

Conversation

@pquentin
Copy link
Member

Backport

This will backport the following commits from main to 8.19:

Questions ?

Please refer to the Backport tool documentation

* Allow @ sign in @server_default annotation

* Fix lint

* Run make contrib

(cherry picked from commit 469fd6b)

# Conflicts:
#	output/schema/schema.json
@github-actions
Copy link
Contributor

Following you can find the validation changes against the target branch for the APIs.

No changes detected.

You can validate these APIs yourself by using the make validate target.

@pquentin pquentin merged commit 4002dc9 into 8.19 Nov 14, 2025
11 checks passed
@pquentin pquentin deleted the backport/8.19/pr-5664 branch November 14, 2025 07:48
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.

2 participants