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

Exclude compile time annotation from unused lint #11853

Open
som-snytt opened this issue Jan 18, 2020 · 0 comments
Open

Exclude compile time annotation from unused lint #11853

som-snytt opened this issue Jan 18, 2020 · 0 comments
Labels
Milestone

Comments

@som-snytt
Copy link

@som-snytt som-snytt commented Jan 18, 2020

For example, serial UID.

@lrytz lrytz added the lint label Jan 30, 2020
@lrytz lrytz added this to the Backlog milestone Jan 30, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.