Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jul 21, 2025

This PR was opened by the Changesets release GitHub action. When you're ready to do a release, you can merge this and the packages will be published to npm automatically. If you're not ready to do a release yet, that's fine, whenever you add more changesets to main, this PR will be updated.

Releases

@sveltejs/[email protected]

Patch Changes

@sveltejs/[email protected]

Patch Changes

  • fix: correctly set URL when navigating during an ongoing navigation (#14004)

@github-actions github-actions bot force-pushed the changeset-release/main branch from 72bfc82 to 8fb8f1d Compare July 22, 2025 08:59
@Rich-Harris Rich-Harris merged commit a18e21a into main Jul 23, 2025
3 checks passed
@Rich-Harris Rich-Harris deleted the changeset-release/main branch July 23, 2025 14:15
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