Skip to content

Conversation

simonw
Copy link
Owner

@simonw simonw commented Jun 7, 2018

See #306 for background on this.

@simonw
Copy link
Owner Author

simonw commented Jun 7, 2018

Closing this pull request for reasons outlined here: #306 (comment)

@simonw simonw closed this Jun 7, 2018
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