Skip to content

Conversation

@hdgarrood
Copy link
Contributor

Resolves #11. While I was at it, I couldn't resist correcting "Javascript" to "JavaScript", sorry ;)

@paf31
Copy link
Contributor

paf31 commented Dec 12, 2015

👍 Looks good to me.

@hdgarrood
Copy link
Contributor Author

(nudge)

garyb added a commit that referenced this pull request Dec 23, 2015
@garyb garyb merged commit 1505b98 into purescript:master Dec 23, 2015
@hdgarrood hdgarrood deleted the stack branch December 23, 2015 03:35
@hdgarrood
Copy link
Contributor Author

Thank you :)

@garyb
Copy link
Member

garyb commented Dec 23, 2015

Sorry about the delay!

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.

3 participants