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

Update intro.md #3778

Merged
merged 1 commit into from Oct 28, 2017

Conversation

Projects
None yet
2 participants
@arv
Contributor

arv commented Oct 27, 2017

The types section of the intro had "bit rotted".

Update intro.md
The types section of the intro had "bit rotted".

@arv arv requested a review from rafael-atticlabs Oct 27, 2017

@arv

This comment has been minimized.

Show comment
Hide comment
@arv

arv Oct 27, 2017

Contributor

I'm not sure it is worth having this as "Most importantly"?

Contributor

arv commented Oct 27, 2017

I'm not sure it is worth having this as "Most importantly"?

@aboodman

This comment has been minimized.

Show comment
Hide comment
@aboodman

aboodman Oct 27, 2017

Contributor

LGTM

Contributor

aboodman commented Oct 27, 2017

LGTM

@arv arv merged commit e76dfeb into master Oct 28, 2017

@arv arv deleted the arv-patch-intro-types branch Oct 28, 2017

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