Skip to content

Conversation

@reuk
Copy link
Contributor

@reuk reuk commented Jun 17, 2017

No description provided.

@peterschrammel
Copy link
Member

LGTM, @reuk, but I'd prefer to merge this clean-up into master first and then clean up what remains to be done in test-gen-support.

@peterschrammel
Copy link
Member

@reuk, please rebase

@reuk
Copy link
Contributor Author

reuk commented Jul 14, 2017

Should I rebase this, or should I close this and redo the work on master?

@tautschnig
Copy link
Collaborator

tautschnig commented Jul 19, 2017

Can this please be re-targeted to master? I don't think pull requests that are purely cleanup do need fast-tracking via test-gen-support.

@kroening
Copy link
Collaborator

Yes, agree with Michael, please rebase to master.

@reuk
Copy link
Contributor Author

reuk commented Jul 20, 2017

Closing in favour of #1159

@reuk reuk closed this Jul 20, 2017
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.

4 participants