Skip to content

Add comment explaining why we need getRemovalHighlightRange#1643

Merged
AndreasArvidsson merged 1 commit into
mainfrom
pokey/add-comment-explaining-why-we-need-getremovalhighlightrange
Jul 17, 2023
Merged

Add comment explaining why we need getRemovalHighlightRange#1643
AndreasArvidsson merged 1 commit into
mainfrom
pokey/add-comment-explaining-why-we-need-getremovalhighlightrange

Conversation

@pokey
Copy link
Copy Markdown
Member

@pokey pokey commented Jul 17, 2023

Checklist

@pokey pokey requested a review from AndreasArvidsson July 17, 2023 13:48
@AndreasArvidsson AndreasArvidsson added this pull request to the merge queue Jul 17, 2023
@pokey pokey mentioned this pull request Jul 17, 2023
30 tasks
Merged via the queue into main with commit 743d7e4 Jul 17, 2023
@AndreasArvidsson AndreasArvidsson deleted the pokey/add-comment-explaining-why-we-need-getremovalhighlightrange branch July 17, 2023 14:32
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