Skip to content

Conversation

ajm188
Copy link
Member

@ajm188 ajm188 commented Jan 29, 2016

If the build passes, I'll push another commit bumping the version number and then merge and tag.

@ajm188
Copy link
Member Author

ajm188 commented Jan 29, 2016

I don't care that the coverage goes down here

@ajm188
Copy link
Member Author

ajm188 commented Jan 29, 2016

@MatthewBentley shipping this, now that I will be awake to deal with the potential need to rollback

ajm188 added a commit that referenced this pull request Jan 29, 2016
@ajm188 ajm188 merged commit 30bbf7a into master Jan 29, 2016
@ajm188 ajm188 deleted the funroll-loops branch February 2, 2016 17:21
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.

1 participant