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.

Sign up for GitHub

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

Jump to bottom

Fix aggressive deduplication of diagnostics #801

Merged
merged 1 commit into from
Jan 21, 2019
Merged

Fix aggressive deduplication of diagnostics #801

merged 1 commit into from
Jan 21, 2019

Conversation

jvican
Copy link
Contributor

@jvican jvican commented Jan 21, 2019

Use offset instead of pointer (which is a short for column
position) to deduplicate error messages.

@jvican
Fix aggressive deduplication of diagnostics
92de3df 
Use `offset` instead of `pointer` (which is a short for column
position) to deduplicate error messages.
@jvican jvican added bug A defect or misbehaviour. task / compile release Anything concerning a new release or modifications to the release process. labels Jan 21, 2019
@jvican jvican merged commit f6868d2 into master Jan 21, 2019
@tgodzik tgodzik deleted the release/1.2.4 branch September 7, 2021 16:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
bug A defect or misbehaviour. release Anything concerning a new release or modifications to the release process. task / compile
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jvican