Skip to content

Conversation

joyeecheung
Copy link
Member

@joyeecheung joyeecheung merged commit 2750b3f into master Oct 28, 2017
@addaleax addaleax deleted the ci-in-reviews branch October 28, 2017 16:11
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