Spelling correction #5

wants to merge 4 commits into


None yet
2 participants

yawaramin commented Aug 28, 2011

No description provided.

frsinot commented Sep 12, 2011

Your spell fixes have been integrated on our private master (will land on github soon).
Due to the delay I had to rebase and edit them (so locally, you'd better restart from master than rebase this branch).
Thanks again for the patches, and you're welcome to contribute further.

@frsinot frsinot closed this Sep 12, 2011

git-mlstate pushed a commit that referenced this pull request Sep 13, 2011

[contrib] merge: pull request #5 from git://github.com/yawaramin/opalang
Note: the patches did no longer apply cleanly and have been rebased and edited
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment