chore: update version to 2025.13.0-dev in package.json (#773) #803

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

Closed

eleanorjboyd wants to merge 1 commit into microsoft:release/2025.12 from eleanorjboyd:mysterious-haddock

Closed

chore: update version to 2025.13.0-dev in package.json (#773) #803

chore: update version to 2025.13.0-dev in package.json (#773)

VS Code Engineering / Community PR Approvals succeeded Nov 10, 2025 in 0s

Not a community PR

PR created by a collaborator

View more details on VS Code Engineering