Skip to content

Conversation

@tshepang
Copy link
Member

@tshepang tshepang commented Feb 2, 2023

No description provided.

@JohnTitor
Copy link
Member

Why don't you suggest the change on #1550? This would bring a merge conflict and it's needless work for me if you suggest on the above PR :(

@tshepang
Copy link
Member Author

tshepang commented Feb 2, 2023

Oh, was not aware the other PR was changing same... forgot/missed it.

@tshepang tshepang closed this Feb 2, 2023
@JohnTitor
Copy link
Member

I see! Thanks for suggesting anyway <3

@tshepang tshepang deleted the a-better-name branch February 2, 2023 15:50
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