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

Improvements & fixes #302

Merged
merged 20 commits into from
May 11, 2019
Merged

Improvements & fixes #302

merged 20 commits into from
May 11, 2019

Conversation

bergauz
Copy link
Contributor

@bergauz bergauz commented May 11, 2019

No description provided.

@bergauz bergauz requested review from jmank88 and r-gochain May 11, 2019 11:42
@bergauz bergauz changed the title Contract verification improvements Improvements & fixes May 11, 2019
@r-gochain
Copy link
Contributor

LGTM

@r-gochain r-gochain merged commit 50cd34b into master May 11, 2019
@bergauz bergauz deleted the improvements branch September 16, 2019 11:41
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.

None yet

2 participants