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

Cherry pick changes to vscode release #75047

Merged
merged 2 commits into from
Sep 11, 2024
Merged

Cherry pick changes to vscode release #75047

merged 2 commits into from
Sep 11, 2024

Conversation

dibarbet
Copy link
Member

@dibarbet
Merge pull request dotnet#75044 from dibarbet/expose_source_link_option
af8dcd0 
Expose sourcelink option to VSCode
@dibarbet
Merge pull request dotnet#75046 from dibarbet/fix_sourcelink_not_opened
773f2d8 
Fix issue where closing sourcelink document threw if not opened
@dibarbet dibarbet requested a review from a team as a code owner September 10, 2024 22:50
@dotnet-issue-labeler dotnet-issue-labeler bot added Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead labels Sep 10, 2024
@dibarbet dibarbet enabled auto-merge September 11, 2024 03:17
@dibarbet dibarbet merged commit 3ac1800 into dotnet:release/vscode Sep 11, 2024
25 checks passed
@dibarbet dibarbet deleted the cherry_pick_changes branch September 11, 2024 17:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@arunchndr arunchndr arunchndr approved these changes

Assignees
No one assigned
Labels
Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead VSCode
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dibarbet @arunchndr