Skip to content

Conversation

@vtjnash
Copy link
Member

@vtjnash vtjnash commented Dec 12, 2017

#24630, take 2.

@vtjnash vtjnash force-pushed the jn/require_ji_better2 branch 2 times, most recently from 3666c77 to 186e9cc Compare December 17, 2017 05:10
@vtjnash vtjnash force-pushed the jn/require_ji_better2 branch from 186e9cc to e58b7c7 Compare December 18, 2017 01:05
@vtjnash
Copy link
Member Author

vtjnash commented Dec 18, 2017

Will merge this when CI finishes (had to kick it again since Travis failed to launch the job), assuming it doesn't acquire new conflicts again

@StefanKarpinski StefanKarpinski merged commit 7d92d3d into master Dec 18, 2017
@StefanKarpinski StefanKarpinski deleted the jn/require_ji_better2 branch December 18, 2017 18:58
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