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

Added a possible issue to README. #1

Merged
merged 1 commit into from
Oct 18, 2013
Merged

Added a possible issue to README. #1

merged 1 commit into from
Oct 18, 2013

Conversation

ltfish
Copy link
Member

@ltfish ltfish commented Oct 18, 2013

No description provided.

zardus added a commit that referenced this pull request Oct 18, 2013
Added a possible issue to README.
@zardus zardus merged commit 89efe94 into angr:master Oct 18, 2013
@zardus
Copy link
Member

zardus commented Oct 18, 2013

Thanks!

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