Skip to content

Choose a truly distinct name for shared_constant#594

Merged
ppotapov-aws merged 1 commit intomainfrom
ppotapov/unique_shared_constant
Feb 11, 2026
Merged

Choose a truly distinct name for shared_constant#594
ppotapov-aws merged 1 commit intomainfrom
ppotapov/unique_shared_constant

Conversation

@ppotapov-aws
Copy link
Collaborator

make sure we will choose the unique name for shared constants

Copy link
Collaborator

@govereau govereau left a comment

Choose a reason for hiding this comment

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

Thanks.

@ppotapov-aws ppotapov-aws merged commit 4218a00 into main Feb 11, 2026
6 checks passed
@ppotapov-aws ppotapov-aws deleted the ppotapov/unique_shared_constant branch February 11, 2026 16:58
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.

2 participants