Skip to content

Conversation

@jmdyck
Copy link
Collaborator

@jmdyck jmdyck commented Feb 28, 2025

(Quick fix re PR #3382.)

@bakkot bakkot added the ready to merge Editors believe this PR needs no further reviews, and is ready to land. label Feb 28, 2025
@ljharb
Copy link
Member

ljharb commented Feb 28, 2025

Whoops, thanks, missed that one.

@ljharb ljharb merged commit d06f3a2 into tc39:main Feb 28, 2025
7 checks passed
@jmdyck jmdyck deleted the fix_re_3382 branch March 1, 2025 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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