Skip to content

PRs do not refresh after changing account preferences in dropdown#6255

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue6244
Oct 3, 2024
Merged

PRs do not refresh after changing account preferences in dropdown#6255
alexr00 merged 1 commit intomainfrom
alexr00/issue6244

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Oct 1, 2024

Fixes #6244

@alexr00 alexr00 self-assigned this Oct 1, 2024
@vs-code-engineering vs-code-engineering bot added this to the October 2024 milestone Oct 1, 2024
@alexr00 alexr00 merged commit f9e4923 into main Oct 3, 2024
@alexr00 alexr00 deleted the alexr00/issue6244 branch October 3, 2024 15:49
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.

PRs do not refresh after changing account preferences in dropdown

2 participants