Skip to content
This repository was archived by the owner on May 1, 2023. It is now read-only.

remove unrequired comparisions #50

Closed
wants to merge 1 commit into from
Closed

remove unrequired comparisions #50

wants to merge 1 commit into from

Conversation

maxbachmann
Copy link
Contributor

The other 3 cases are all already covered by these two if clauses

@maxbachmann
Copy link
Contributor Author

@aceakash is there anything that stops this from being merged?

@aceakash
Copy link
Owner

aceakash commented Jan 6, 2021

Thank you @maxbachmann , merged and published

@aceakash aceakash closed this Jan 6, 2021
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants