Skip to content

Minor PrioritizedSplitRunner cleanups#16843

Merged
electrum merged 3 commits intotrinodb:masterfrom
electrum:splitrunner
Apr 18, 2023
Merged

Minor PrioritizedSplitRunner cleanups#16843
electrum merged 3 commits intotrinodb:masterfrom
electrum:splitrunner

Conversation

@electrum
Copy link
Copy Markdown
Member

@electrum electrum commented Apr 1, 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 Apr 1, 2023
@electrum electrum requested a review from dain April 1, 2023 18:43
@electrum electrum requested a review from dain April 18, 2023 21:05
@electrum electrum merged commit 101a258 into trinodb:master Apr 18, 2023
@electrum electrum deleted the splitrunner branch April 18, 2023 22:57
@github-actions github-actions bot added this to the 414 milestone Apr 19, 2023
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