Skip to content

Conversation

domenic
Copy link
Member

@domenic domenic commented Sep 8, 2016

This is on top of #155 to avoid extra rebasing after that lands

tobie pushed a commit that referenced this pull request Sep 9, 2016
@tobie
Copy link
Collaborator

tobie commented Sep 9, 2016

Merged in a3a6aa2.

@tobie tobie closed this Sep 9, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants