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.

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

Rename cats.eq to cats.eqv #226

Merged
merged 1 commit into from
Feb 26, 2021
Merged

Rename cats.eq to cats.eqv #226

merged 1 commit into from
Feb 26, 2021

Conversation

gvolpe
Copy link
Contributor

@gvolpe gvolpe commented Feb 24, 2021

Closes #224

Assuming the two 👍 the issue got means this is wanted :)

@gvolpe
Copy link
Contributor Author

gvolpe commented Feb 26, 2021

@Odomontois sorry to bother, any chance you can have a look at this one? If it's good, I'd appreciate a new release to have this and #222 so I can unblock gvolpe/pfps-shopping-cart#264 🙏

arigatou

@Odomontois Odomontois merged commit c68d6d0 into tofu-tf:master Feb 26, 2021
@gvolpe gvolpe deleted the rename-cats-eq-to-eqv branch February 26, 2021 14:04
@gvolpe
Copy link
Contributor Author

gvolpe commented Feb 26, 2021

Thanks!

@catostrophe catostrophe added the enhancement New feature or request label Mar 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Rename derevo.cats.eq to derevo.cats.eqv?
3 participants