Skip to content

remove unused degate and make other one public+rename #61

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 2 commits into from
Jul 4, 2019
Merged

remove unused degate and make other one public+rename #61

merged 2 commits into from
Jul 4, 2019

Conversation

artemredkin
Copy link
Collaborator

No description provided.

@artemredkin artemredkin added this to the 1.0.0 milestone Jul 3, 2019
tomerd
tomerd approved these changes Jul 3, 2019
View reviewed changes
Copy link
Contributor

@tomerd tomerd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks

@artemredkin artemredkin merged commit a42fe83 into master Jul 4, 2019
@artemredkin artemredkin deleted the api_cleanup branch July 4, 2019 06:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tomerd tomerd tomerd approved these changes

@weissi weissi Awaiting requested review from weissi

@tanner0101 tanner0101 Awaiting requested review from tanner0101

@ianpartridge ianpartridge Awaiting requested review from ianpartridge

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.0.0
Development

Successfully merging this pull request may close these issues.
2 participants
@artemredkin @tomerd