Skip to content

error when adding file comment to renamed file w/o other changes#6538

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue6516
Dec 13, 2024
Merged

error when adding file comment to renamed file w/o other changes#6538
alexr00 merged 1 commit intomainfrom
alexr00/issue6516

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Dec 13, 2024

Fixes #6516

@alexr00 alexr00 self-assigned this Dec 13, 2024
@alexr00 alexr00 enabled auto-merge (squash) December 13, 2024 15:25
@vs-code-engineering vs-code-engineering bot added this to the January 2025 milestone Dec 13, 2024
@alexr00 alexr00 merged commit 9dba942 into main Dec 13, 2024
@alexr00 alexr00 deleted the alexr00/issue6516 branch December 13, 2024 15:42
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.

error when adding file comment to renamed file w/o other changes

2 participants