Skip to content

Conversation

@provokateurin
Copy link
Member

Summary

Some minor improvements to the generated OpenAPI specifications.

Checklist

@provokateurin
Copy link
Member Author

/backport to stable28

@nickvergessen nickvergessen merged commit da97e10 into master Dec 8, 2023
@nickvergessen nickvergessen deleted the chore/deps/update-openapi-extractor branch December 8, 2023 11:36
@provokateurin
Copy link
Member Author

Is the backport bot dead?

@nickvergessen
Copy link
Member

No, but for server due to the clone it takes some 20+ minutes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants