Skip to content

Conversation

juliusv
Copy link
Member

@juliusv juliusv commented Jul 6, 2024

Fixes #14135

Fixes #14135

Signed-off-by: Julius Volz <julius.volz@gmail.com>
Copy link
Member

@beorn7 beorn7 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perfect. Thank you very much.

@beorn7 beorn7 merged commit 06f0f2e into main Jul 6, 2024
@beorn7 beorn7 deleted the document-info-annotations branch July 6, 2024 22:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

API: Consider delivering _info_ level annotation in separate JSON array
2 participants