Skip to content
New issue

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

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

Already on GitHub? # to your account

Add more restrictions on indexed attribute semantics #1131

Merged
merged 1 commit into from
Oct 31, 2017

Conversation

lexaknyazev
Copy link
Member

Fixes #1023.

@pjcozzi
Copy link
Member

pjcozzi commented Oct 25, 2017

Looks good! @sbtron please merge when ready.

@lexaknyazev lexaknyazev merged commit dc9ff54 into master Oct 31, 2017
@lexaknyazev lexaknyazev deleted the indexed-semantics branch October 31, 2017 16:37
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants