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

Fix end positions for property-no-unknown #6039

Merged
merged 1 commit into from Apr 26, 2022

Conversation

mattxwang
Copy link
Member

Which issue, if any, is this issue related to?

Part of the umbrella issue #5694.

Is there anything in the PR that needs further explanation?

Think not!

Copy link
Member

@ybiquitous ybiquitous left a comment

Choose a reason for hiding this comment

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

@mattxwang Thank you! 👍🏼

@jeddy3 jeddy3 merged commit dcba172 into main Apr 26, 2022
@jeddy3 jeddy3 deleted the end-positions-property-no-unknown branch April 26, 2022 11:48
@jeddy3
Copy link
Member

jeddy3 commented Apr 26, 2022

  • Fixed: property-no-unknown end positions (#6039).

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

Successfully merging this pull request may close these issues.

None yet

3 participants