Skip to content

Conversation

@kroening
Copy link
Collaborator

Do the appropriate changes to make PR #1032 work

@kroening kroening requested a review from tautschnig June 19, 2017 20:10
@tautschnig tautschnig merged commit 0bc503a into master Jun 19, 2017
@tautschnig tautschnig deleted the add_empty branch June 19, 2017 21:55
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.

3 participants