Skip to content

Conversation

raistefintel
Copy link

@raistefintel raistefintel commented Mar 21, 2024

please merge name changes last

@jimmytwei jimmytwei requested a review from ishaghosh27 March 21, 2024 14:29
@jimmytwei
Copy link
Contributor

Closed this PR because there were conflicts. I created #2257 and merged that fixed the conflicts.

@jimmytwei jimmytwei closed this Mar 22, 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.

2 participants