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

Typos #993

Closed
mantognini opened this Issue Oct 20, 2015 · 4 comments

Comments

Projects
None yet
4 participants
@mantognini
Member

mantognini commented Oct 20, 2015

In order to fix a few typos at once, here is a list of known typos:

@mantognini mantognini added this to the 2.4 milestone Oct 20, 2015

@binary1248

This comment has been minimized.

Show comment
Hide comment
@binary1248

binary1248 May 8, 2016

Member

Bump. How do we proceed with this?

Member

binary1248 commented May 8, 2016

Bump. How do we proceed with this?

@eXpl0it3r

This comment has been minimized.

Show comment
Hide comment
@eXpl0it3r

eXpl0it3r May 8, 2016

Member

The idea was to collect all the typos and then merge near the end.

Member

eXpl0it3r commented May 8, 2016

The idea was to collect all the typos and then merge near the end.

@eXpl0it3r

This comment has been minimized.

Show comment
Hide comment
@eXpl0it3r
Member

eXpl0it3r commented Jun 12, 2016

@mantognini mantognini self-assigned this Jun 13, 2016

@mantognini

This comment has been minimized.

Show comment
Hide comment
@mantognini

mantognini Jun 14, 2016

Member

Superseded by #1098.

Member

mantognini commented Jun 14, 2016

Superseded by #1098.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment