Skip to content

Conversation

@martint
Copy link
Member

@martint martint commented May 10, 2023

Release notes

(x) This is not user-visible or docs only and no release notes are required.

@cla-bot cla-bot bot added the cla-signed label May 10, 2023
@martint
Copy link
Member Author

martint commented May 11, 2023

CI hit #17158

@martint martint merged commit 994a09a into trinodb:master May 11, 2023
@github-actions github-actions bot added this to the 418 milestone May 11, 2023
@martint martint deleted the unused branch April 17, 2024 00:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants