Skip to content
This repository was archived by the owner on Oct 24, 2023. It is now read-only.

stage 4 #128

Merged
merged 1 commit into from
Oct 24, 2023
Merged

stage 4 #128

merged 1 commit into from
Oct 24, 2023

Conversation

bakkot
Copy link
Contributor

@bakkot bakkot commented Oct 24, 2023

No description provided.

@syg syg merged commit 5df6bd2 into tc39:master Oct 24, 2023
@bakkot bakkot deleted the patch-1 branch October 24, 2023 20:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants