Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Erratum from Ron Barak #51

Open
1 of 3 tasks
Ivoz opened this issue Jan 29, 2014 · 3 comments
Open
1 of 3 tasks

Erratum from Ron Barak #51

Ivoz opened this issue Jan 29, 2014 · 3 comments

Comments

@Ivoz
Copy link
Member

Ivoz commented Jan 29, 2014

@iamanvesh
Copy link

Hey I've fixed these issues and sent a patch, Please do check your email.

@lehmannro
Copy link
Contributor

Thanks Anvesh for your help! The usual process to get patches into our
material is through pull requests
https://help.github.com/articles/using-pull-requests/; could you submit
one with your changes?

@iamanvesh
Copy link

I've submitted the pull request.

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

No branches or pull requests

3 participants