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

Replace use of property and properties with member and members #144

Merged
merged 1 commit into from
Feb 13, 2016

Conversation

tschaub
Copy link
Member

@tschaub tschaub commented Feb 13, 2016

As with the definition of JSON itself, we talk about members.

Fixes #143.

@tschaub
Copy link
Member Author

tschaub commented Feb 13, 2016

Some extraneous whitespace removed here as well. I can put that back in if needed.

@sgillies
Copy link
Contributor

Thanks, Tim! I've alerted the list.
On Feb 13, 2016 8:51 AM, "Tim Schaub" notifications@github.com wrote:

Some extraneous whitespace removed here as well. I can put that back in if
needed.


Reply to this email directly or view it on GitHub
#144 (comment)
.

@sgillies
Copy link
Contributor

Looks good to me. We have consensus on the list. And we're making the spec shorter :)

sgillies added a commit that referenced this pull request Feb 13, 2016
Replace use of property and properties with member and members
@sgillies sgillies merged commit 6f23943 into master Feb 13, 2016
@sgillies sgillies deleted the members branch February 13, 2016 23:31
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.

2 participants