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

Property names aren't case sensitive #1402

Closed
wants to merge 1 commit into from
Closed

Conversation

mwelzl
Copy link
Contributor

@mwelzl mwelzl commented Oct 10, 2023

Closes #1338

@mwelzl mwelzl requested review from gorryfair and philsbln October 10, 2023 13:05
@mwelzl mwelzl added the API label Oct 10, 2023
@mwelzl
Copy link
Contributor Author

mwelzl commented Oct 10, 2023

Note, before merging and therewith closing #1338, let's make sure we agree about the discussion in #1338.

Copy link
Contributor

@gorryfair gorryfair left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is what I understood!

Copy link
Contributor

@philsbln philsbln left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good to make that explicit

@mwelzl
Copy link
Contributor Author

mwelzl commented Oct 11, 2023

Closing this because we have #1404. Better to discuss there and finish this off.

@mwelzl mwelzl closed this Oct 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Property names
4 participants