Skip to content

enable user code annotations#53

Merged
gibson042 merged 1 commit intotc39:mainfrom
bakkot:patch-1
May 30, 2025
Merged

enable user code annotations#53
gibson042 merged 1 commit intotc39:mainfrom
bakkot:patch-1

Conversation

@bakkot
Copy link
Member

@bakkot bakkot commented May 29, 2025

At a quick glance I don't think any manual annotations are needed but I could be missing some. The logic for determining these automatically is not perfect.

@github-actions
Copy link

The rendered spec for this PR is available at https://tc39.es/proposal-immutable-arraybuffer/pr/53.

@gibson042 gibson042 merged commit cdaf20a into tc39:main May 30, 2025
1 check passed
@bakkot bakkot deleted the patch-1 branch May 30, 2025 18:32
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.

2 participants

Comments