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.

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

Proof AGC_BLOCK_TWO_SELF-CHECK #190 #331

Merged
merged 1 commit into from
Apr 21, 2018
Merged

Proof AGC_BLOCK_TWO_SELF-CHECK #190 #331

merged 1 commit into from
Apr 21, 2018

Conversation

alhazmy13
Copy link
Contributor

No description provided.

@wopian wopian self-assigned this Apr 11, 2018
@wopian wopian added Status: Review Needed Type: Proof Comanche55 and Luminary99 files labels Apr 11, 2018
@wopian wopian added this to the Comanche055 milestone Apr 11, 2018
@wopian
Copy link
Collaborator

wopian commented Apr 21, 2018

Thank you 🎉

@wopian wopian merged commit b66290c into chrislgarry:master Apr 21, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wopian wopian wopian approved these changes

Assignees

@wopian wopian

Labels
Type: Proof Comanche55 and Luminary99 files
Projects
None yet
Milestone
Comanche055
Development

Successfully merging this pull request may close these issues.
2 participants
@alhazmy13 @wopian