Skip to content

Conversation

@jorisdral
Copy link
Collaborator

Resolves #369

@jorisdral jorisdral self-assigned this Nov 1, 2024
@jorisdral jorisdral force-pushed the jdral/rename-table-handle branch from c495256 to ddca7d4 Compare November 1, 2024 14:27
@jorisdral jorisdral marked this pull request as ready for review November 1, 2024 14:35
Copy link
Collaborator

@mheinzel mheinzel left a comment

Choose a reason for hiding this comment

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

LGTM

@jorisdral jorisdral force-pushed the jdral/rename-table-handle branch from d5b3864 to 5d91d53 Compare November 4, 2024 09:43
@jorisdral jorisdral enabled auto-merge November 4, 2024 09:43
@jorisdral jorisdral added this pull request to the merge queue Nov 4, 2024
Merged via the queue into main with commit 2eeb767 Nov 4, 2024
24 checks passed
@jorisdral jorisdral deleted the jdral/rename-table-handle branch November 4, 2024 10:35
@jorisdral jorisdral mentioned this pull request Nov 11, 2024
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.

Rename TableHandle to Table

3 participants