Skip to content

Conversation

kroening
Copy link
Member

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.

2 participants