Skip to content

Mission: Confuse Travis#3

Merged
olologin merged 1 commit intoolologin:6420_dt_criterionfrom
raghavrv:criterion_reduce_fix
Oct 19, 2016
Merged

Mission: Confuse Travis#3
olologin merged 1 commit intoolologin:6420_dt_criterionfrom
raghavrv:criterion_reduce_fix

Conversation

@raghavrv
Copy link
Copy Markdown

Could you accept this PR and try?

@olologin olologin merged commit 040ae72 into olologin:6420_dt_criterion Oct 19, 2016
@raghavrv raghavrv deleted the criterion_reduce_fix branch October 19, 2016 19:49
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