Skip to content

Add note about renaming ALL-BUT-DEFAULT - #3

Closed
nicolo-ribaudo wants to merge 1 commit into
mainfrom
note
Closed

nicolo-ribaudo wants to merge 1 commit into
mainfrom
note

Conversation

@nicolo-ribaudo

Copy link
Copy Markdown
Member

No description provided.

@nicolo-ribaudo

Copy link
Copy Markdown
Member Author

I forgot I had already done this 😓

@nicolo-ribaudo
nicolo-ribaudo deleted the note branch August 24, 2026 14:59
@github-actions

Copy link
Copy Markdown

The rendered spec for this PR is available at https://tc39.es/proposal-export-star-default/pr/3.

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.

1 participant