Skip to content

Conversation

@clairernovotny
Copy link
Contributor

No description provided.

@bartdesmet
Copy link
Collaborator

@onovotny, should this be merged before shipping an update for Ix bits?

@clairernovotny clairernovotny merged commit 6762d5e into master May 29, 2019
@delete-merged-branch delete-merged-branch bot deleted the simplify-build branch May 29, 2019 16:13
@clairernovotny
Copy link
Contributor Author

thanks, forgot about this while traveling

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