Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rename variable for clarity #11438

Merged
merged 1 commit into from
Mar 14, 2022
Merged

Rename variable for clarity #11438

merged 1 commit into from
Mar 14, 2022

Conversation

findepi
Copy link
Member

@findepi findepi commented Mar 11, 2022

No description provided.

@findepi findepi requested review from losipiuk, hashhar and leveyja March 11, 2022 17:25
@cla-bot cla-bot bot added the cla-signed label Mar 11, 2022
@findepi findepi merged commit a29f472 into trinodb:master Mar 14, 2022
@findepi findepi deleted the findepi/rename-variable-for-clarity-52315c branch March 14, 2022 08:35
@github-actions github-actions bot added this to the 374 milestone Mar 14, 2022
@mosabua mosabua mentioned this pull request Mar 14, 2022
Merged
@findepi findepi added maintenance Project maintenance task no-release-notes This pull request does not require release notes entry labels Mar 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@losipiuk losipiuk losipiuk approved these changes

@hashhar hashhar hashhar approved these changes

@leveyja leveyja Awaiting requested review from leveyja

Assignees
No one assigned
Labels
cla-signed maintenance Project maintenance task no-release-notes This pull request does not require release notes entry
Milestone
374
Development

Successfully merging this pull request may close these issues.
3 participants
@findepi @losipiuk @hashhar