Skip to content

Conversation

@bakkot
Copy link
Member

@bakkot bakkot commented Nov 11, 2025

Noticed while looking at #3715, but it's unrelated, so pulling it out to its own PR. @nicolo-ribaudo confirmed this is right.

@github-actions
Copy link

The rendered spec for this PR is available at https://tc39.es/ecma262/pr/3717.

@michaelficarra michaelficarra added the ready to merge Editors believe this PR needs no further reviews, and is ready to land. label Nov 11, 2025
@ljharb ljharb merged commit 29c5b17 into main Nov 12, 2025
9 checks passed
@ljharb ljharb deleted the import-export branch November 12, 2025 15:04
Jack-Works added a commit to engine262/engine262 that referenced this pull request Nov 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

editorial change ready to merge Editors believe this PR needs no further reviews, and is ready to land.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants