Skip to content

Conversation

@github-actions
Copy link
Contributor

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

[email protected]

Patch Changes

  • chore: don't select devtools-json by default (#598)

@svelte-docs-bot
Copy link

@github-actions github-actions bot force-pushed the changeset-release/main branch 2 times, most recently from ec31189 to 09a0c97 Compare June 25, 2025 12:54
@github-actions github-actions bot force-pushed the changeset-release/main branch from 09a0c97 to 96c63d1 Compare June 25, 2025 15:02
@manuel3108 manuel3108 merged commit eeb5719 into main Jun 25, 2025
@manuel3108 manuel3108 deleted the changeset-release/main branch June 25, 2025 15:02
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