Skip to content

style: remove redundant check#140

Merged
gbotrel merged 2 commits into
developfrom
inv(0)=0
Jan 27, 2022
Merged

style: remove redundant check#140
gbotrel merged 2 commits into
developfrom
inv(0)=0

Conversation

@Tabaie
Copy link
Copy Markdown
Contributor

@Tabaie Tabaie commented Jan 26, 2022

Moved from sswu-fp

@Tabaie Tabaie requested a review from gbotrel January 26, 2022 17:42
@gbotrel gbotrel merged commit 3271b08 into develop Jan 27, 2022
@gbotrel gbotrel deleted the inv(0)=0 branch January 27, 2022 02:01
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