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

relation lint, web ui: deleted from reference -> unused filter #3340

Merged
merged 1 commit into from
Oct 4, 2023

Conversation

vmiklos
Copy link
Owner

@vmiklos vmiklos commented Oct 4, 2023

Unused filter means either the 'invalid' item is outside the declared
ranges or the item is deleted from the reference.

Change-Id: I013163fd577d1685d96a3f4d6062a6cd114f62d9

Unused filter means either the 'invalid' item is outside the declared
ranges or the item is deleted from the reference.

Change-Id: I013163fd577d1685d96a3f4d6062a6cd114f62d9
@vmiklos vmiklos enabled auto-merge (rebase) October 4, 2023 19:34
@vmiklos vmiklos merged commit 3ee6f6b into master Oct 4, 2023
@vmiklos vmiklos deleted the private/vmiklos/master branch October 4, 2023 19:38
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.

1 participant