Skip to content

Conversation

@Rich-Harris
Copy link
Member

another harmless change extracted from #15844

@changeset-bot
Copy link

changeset-bot bot commented Jul 13, 2025

⚠️ No Changeset found

Latest commit: 57bd2df

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@svelte-docs-bot
Copy link

@github-actions
Copy link
Contributor

Playground

pnpm add https://pkg.pr.new/svelte@16359

@Ocean-OS Ocean-OS merged commit 3f3cf9f into main Jul 13, 2025
14 checks passed
@Ocean-OS Ocean-OS deleted the rename-check-dirtiness branch July 13, 2025 22:21
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.

3 participants