Skip to content

add column number to location#1812

Merged
bbrehm merged 1 commit intomasterfrom
bbrehm/locationColNumber
Mar 3, 2025
Merged

add column number to location#1812
bbrehm merged 1 commit intomasterfrom
bbrehm/locationColNumber

Conversation

@bbrehm
Copy link
Contributor

@bbrehm bbrehm commented Mar 3, 2025

We want that for two reasons:

  1. Help us disambiguate unfortunate collisions
  2. For the relaxed-fingerprint / finding-grouping thing.

@bbrehm bbrehm requested review from ml86 and mpollmeier March 3, 2025 12:15
@bbrehm bbrehm merged commit 1f7305c into master Mar 3, 2025
1 check passed
@max-leuthaeuser max-leuthaeuser deleted the bbrehm/locationColNumber branch June 30, 2025 13:31
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.

2 participants