Skip to content

Conversation

@sharkdp
Copy link
Contributor

@sharkdp sharkdp commented Jan 30, 2016

Does it make sense to add these? If not, feel free to just close it.

paf31 added a commit that referenced this pull request Jan 31, 2016
@paf31 paf31 merged commit b2c8b5d into purescript:master Jan 31, 2016
@paf31
Copy link
Contributor

paf31 commented Jan 31, 2016

Yes, thanks!

@sharkdp sharkdp deleted the add-head-tail branch January 31, 2016 08:36
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.

2 participants