Skip to content

Conversation

@AsnelChristian
Copy link
Member

Closes #45

@AsnelChristian
Copy link
Member Author

ack 5852ad9

@AsnelChristian
Copy link
Member Author

this is just a cherry pick of #88

@AsnelChristian
Copy link
Member Author

@rultor merge

@rultor
Copy link

rultor commented Aug 26, 2016

@rultor merge

@AsnelChristian OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit 5852ad9 into coala:master Aug 26, 2016
@rultor
Copy link

rultor commented Aug 26, 2016

@rultor merge

@AsnelChristian Done! FYI, the full log is here (took me 1min)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

4 participants