Skip to content

Skip attribute in RemoveUnusedPromotedPropertyRector#3280

Merged
TomasVotruba merged 1 commit intomainfrom
tv-skip-attribute-from-removing
Jan 13, 2023
Merged

Skip attribute in RemoveUnusedPromotedPropertyRector#3280
TomasVotruba merged 1 commit intomainfrom
tv-skip-attribute-from-removing

Conversation

@TomasVotruba
Copy link
Copy Markdown
Member

No description provided.

@TomasVotruba TomasVotruba changed the title skip attribute in RemoveUnusedPromotedPropertyRector Skip attribute in RemoveUnusedPromotedPropertyRector Jan 13, 2023
@TomasVotruba TomasVotruba force-pushed the tv-skip-attribute-from-removing branch from 13acc71 to 57ec52b Compare January 13, 2023 19:32
@TomasVotruba TomasVotruba enabled auto-merge (squash) January 13, 2023 19:32
@TomasVotruba TomasVotruba merged commit fe7ed4f into main Jan 13, 2023
@TomasVotruba TomasVotruba deleted the tv-skip-attribute-from-removing branch January 13, 2023 19:36
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.

1 participant